Commit f32e734d authored by unknown's avatar unknown
Browse files

Trivial fix: pid file must exist when kill_n_check.sh is started.

parent a131dae2
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -49,7 +49,7 @@ if [ -z "$pid_path" ]; then
  exit 0
fi

if [ $expected_result = 'killed' -a ! -r "$pid_path" ]; then
if [ ! -r "$pid_path" ]; then
  echo "Error: PID file ($pid_path) does not exist."
  exit 0
fi