Merge 2.1 r316 and r317.

This commit is contained in:
Daniel Nichter
2012-07-19 12:54:32 -06:00
parent 81d541ec05
commit d8cef2e902
3 changed files with 15 additions and 9 deletions

View File

@@ -17,8 +17,14 @@ for port in "$@"; do
continue
fi
/tmp/$port/stop
exit_status=$((exit_status | $?))
if [ -x "/tmp/$port/stop" ]; then
/tmp/$port/stop
exit_status=$((exit_status | $?))
else
echo "/tmp/$port is missing files:" >&2
ls -la /tmp/$port >&2
fi
rm -rf /tmp/$port
exit_status=$((exit_status | $?))
done