diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-15 12:16:50 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-15 12:16:50 +0200 |
| commit | 259d67b738d9e7375d12ffa8b7d613ef98f0ad9f (patch) | |
| tree | 4bfd6d5b2b25bc8b337e62ec9410989b272de366 | |
| parent | a7f0599e3d2b6621872a428870ce8bdd15e8f004 (diff) | |
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 + |