Stopping the server (using ctrl-c or ./stop) leaves the spectator open (for viewing the results)

jlink · jlink · commit 023c4aa3f0ec · 2016-07-24T10:50:13.000+02:00
diff --git a/stop b/stop
@@ -3,6 +3,6 @@ pushd server > /dev/null
 ./stop-server
 popd > /dev/null
 
-pushd client/swing-spectator > /dev/null
-./stop-spectator
-popd > /dev/null
+#pushd client/swing-spectator > /dev/null
+#./stop-spectator
+#popd > /dev/null
