From a24705d7844e3e3f62d1758a41086aa58d02c8e7 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 13 Feb 2012 11:31:53 -0800
Subject: [PATCH] More controller-stopping madness.

---
 util/install.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/util/install.sh b/util/install.sh
index 8e2b683..29df896 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -219,8 +219,12 @@ function ovs {
         $pkginst $pkgs
         # Switch can run on its own, but 
         # Mininet should control the controller
-        sudo service openvswitch-controller stop
-        sudo update-rc.d openvswitch-controller disable
+	if [ -e /etc/init.d/openvswitch-controller ]; then
+            if sudo service openvswitch-controller stop; then
+                echo "Stopped running controller"
+            fi
+            sudo update-rc.d openvswitch-controller disable
+        fi
         echo "Done (hopefully) installing packages"
         return
     fi