diff options
author | Franco Masotti | 2017-03-09 15:19:04 +0100 |
---|---|---|
committer | Franco Masotti | 2017-03-09 15:19:04 +0100 |
commit | 93587ca47cadf3bbd80db5e52880b547d9e0d818 (patch) | |
tree | d740c468f71a794c932423ec675f8207572d1881 /run.sh | |
parent | 7a1659085eea033b740cfa1b41a8044bf4d9a9c9 (diff) | |
download | aur-swish-cplint.tar.gz |
Updated to new version.
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash # # run.sh @@ -81,7 +81,7 @@ killd() # kill action only if process exists. if [ -f "$pid_file" ]; then pid=$(cat "$pid_file") - ps -q $pid > /dev/null + ps -p $pid > /dev/null if [ $? -eq 0 ]; then kill -s TERM $pid fi |