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

(limited to 'util')

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


From 29ca42a8605ff29524ed287f384d5113f1ec30d7 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 15 Jul 2016 12:17:01 +0200
Subject: mv

---
 util/kill     | 4 ----
 util/kill_all | 4 ++++
 2 files changed, 4 insertions(+), 4 deletions(-)
 delete mode 100755 util/kill
 create mode 100755 util/kill_all

(limited to 'util')

diff --git a/util/kill b/util/kill
deleted file mode 100755
index e82f822..0000000
--- a/util/kill
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain|truecase.perl)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done
-
diff --git a/util/kill_all b/util/kill_all
new file mode 100755
index 0000000..e82f822
--- /dev/null
+++ b/util/kill_all
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain|truecase.perl)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done
+
-- 
cgit v1.2.3


From 68fbe2a717f07cda33aa57668d01d8190dae9ede Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Mon, 18 Jul 2016 15:39:33 +0200
Subject: util/run_all: faster startup

---
 util/run_all | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'util')

diff --git a/util/run_all b/util/run_all
index a873e63..e82ced9 100755
--- a/util/run_all
+++ b/util/run_all
@@ -4,6 +4,6 @@
 for i in `cat ../sessions/sessions | cut -f 1`; do
   echo $i
   ./util/run_session $i &
-  sleep 60
+  sleep 10
 done
 
-- 
cgit v1.2.3