diff options
| author | erdgeist <> | 2013-03-02 03:07:34 +0000 |
|---|---|---|
| committer | erdgeist <> | 2013-03-02 03:07:34 +0000 |
| commit | 93c4554f62a1a8d9170e3acb4d7937691ea0fd58 (patch) | |
| tree | 52d465f30756f458f5ebd4f156962f9a95a09cbd | |
| parent | 87dc06e5e85a98eea2d5ebcca81c856ff2a2cbb4 (diff) | |
Leave the process some time to create the file
| -rwxr-xr-x | jaildaemon.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jaildaemon.sh b/jaildaemon.sh index 0741c23..52098ed 100755 --- a/jaildaemon.sh +++ b/jaildaemon.sh | |||
| @@ -14,6 +14,7 @@ echo -n "Killing (respawnin) task: " | |||
| 14 | pgrep -f Schnupsi | 14 | pgrep -f Schnupsi |
| 15 | 15 | ||
| 16 | pkill -HUP -f Schnupsi | 16 | pkill -HUP -f Schnupsi |
| 17 | sleep 1 | ||
| 17 | 18 | ||
| 18 | echo "Yielding file, touched by task:" | 19 | echo "Yielding file, touched by task:" |
| 19 | ls -al /foo | 20 | ls -al /foo |
| @@ -28,6 +29,7 @@ pgrep -f Schnupsi | |||
| 28 | echo "Killing with normal signal:" | 29 | echo "Killing with normal signal:" |
| 29 | 30 | ||
| 30 | pkill -f Schnupsi | 31 | pkill -f Schnupsi |
| 32 | sleep 1 | ||
| 31 | 33 | ||
| 32 | echo "Expecting no file here:" | 34 | echo "Expecting no file here:" |
| 33 | ls -al /foo | 35 | ls -al /foo |