From 4e97475ab0e1be1bde340d1bc8c63efdb5766104 Mon Sep 17 00:00:00 2001
From: Tony Mack <tmack@cs.princeton.edu>
Date: Tue, 9 Jun 2009 22:04:26 +0000
Subject: [PATCH] no longer needed

---
 geni/restart-plc.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 geni/restart-plc.sh

diff --git a/geni/restart-plc.sh b/geni/restart-plc.sh
deleted file mode 100755
index b33a3814..00000000
--- a/geni/restart-plc.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/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 
-- 
2.47.0