diff options
Diffstat (limited to 'dscip')
| -rwxr-xr-x | dscip | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dscip b/dscip index 5d86b93..4958fb1 100755 --- a/dscip +++ b/dscip @@ -35,7 +35,7 @@ set -u # Check if script is currently running, and if not, reset LOCK # if [ -f "$WORKING_DIRECTORY/LOCK" ]; then LOCKED_PID=$(cat "$WORKING_DIRECTORY/LOCK") - if ps -p "$LOCKED_PID" > /dev/null; then + if ps -aux | grep [^]]"$LOCKED_PID" > /dev/null; then echo "Script still running. Exiting..." exit 0 else |