helpful restart script
authorTony Mack <tmack@cs.princeton.edu>
Wed, 22 Apr 2009 20:42:31 +0000 (20:42 +0000)
committerTony Mack <tmack@cs.princeton.edu>
Wed, 22 Apr 2009 20:42:31 +0000 (20:42 +0000)
geni/restart-plc.py [new file with mode: 0755]

diff --git a/geni/restart-plc.py b/geni/restart-plc.py
new file mode 100755 (executable)
index 0000000..b33a381
--- /dev/null
@@ -0,0 +1,12 @@
+#!/bin/bash
+for i in `ps aux |grep "python plc.py" | head -n3 |awk '{print $2}'` ; do
+        echo "killing $i"
+        kill $i
+done
+
+echo "Start Registry"
+python plc.py -r -d
+echo "Start Aggregate Manager"
+python plc.py -a -d
+echo "Start Slice Manager"
+python plc.py -s -d