diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-20 10:55:28 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-20 10:55:28 +0200 |
| commit | 47b04c4d2e72a473d1b7595c1a6655bcd351f65e (patch) | |
| tree | d4c8709f6f7b2ec0a1f917f85af06d4750995610 /util/kill_session | |
| parent | 893f1b87ff267a6afd886951c91a64573f4d9c9f (diff) | |
| parent | fac00976168c6b3c94d01d76babede147e4a0710 (diff) | |
Merge branch 'master' of github.com:pks/lfpe
Diffstat (limited to 'util/kill_session')
| -rwxr-xr-x | util/kill_session | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/util/kill_session b/util/kill_session new file mode 100755 index 0000000..1f57c81 --- /dev/null +++ b/util/kill_session @@ -0,0 +1,5 @@ +#!/usr/bin/zsh -x + +lsof /srv/postedit/sessions/$1/work/session.out | cut -d " " -f 2- | /srv/postedit/scripts/strips | cut -d " " -f 1 | grep -v PID | xargs kill +lsof /srv/postedit/sessions/$1/work/session.out + |