From 259d67b738d9e7375d12ffa8b7d613ef98f0ad9f Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 15 Jul 2016 12:16:50 +0200
Subject: util/kill_session

---
 util/kill_session | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 util/kill_session

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
+
-- 
cgit v1.2.3