Fixing GUI packaging and web-socket code to allow onos-gui feature to load properly.

Change-Id: Idb3ed6ec1b96b3bfae75039de4644983ac4014bd
diff --git a/tools/package/onos-run-karaf b/tools/package/onos-run-karaf
index e86306b..c22ab95 100755
--- a/tools/package/onos-run-karaf
+++ b/tools/package/onos-run-karaf
@@ -10,7 +10,7 @@
 
 function killServer() {
     echo "Killing ONOS server..."
-    ps -e | grep apache.karaf.main.Main | grep -v grep | cut -d\  -f1 | xargs kill -9 &>/dev/null
+    ps -e | grep apache.karaf.main.Main | grep -v grep | cut -c1-6 | xargs kill -9 &>/dev/null
 }
 
 # Kill any running instances