diff options
Diffstat (limited to 'dot_local/bin/executable_record')
| -rwxr-xr-x | dot_local/bin/executable_record | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dot_local/bin/executable_record b/dot_local/bin/executable_record index ff57758..ac88771 100755 --- a/dot_local/bin/executable_record +++ b/dot_local/bin/executable_record @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env dash pid_file="/tmp/recordpid" log_file="/tmp/record.log" @@ -9,7 +9,7 @@ pid_exists() { is_running() { if pid_exists; then - ps "$(cat "$pid_file")" >/dev/null 2>&1 || return 1 + kill -0 "$(cat "$pid_file")" >/dev/null 2>&1 || return 1 else return 1 fi |