Added restart web server command.

mikeschinkel · mikeschinkel · commit 5c6b38fb0e16 · 2016-10-05T22:08:59.000-04:00
diff --git a/guest/cli/commands/restart-web-server b/guest/cli/commands/restart-web-server
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+#
+# Restart the Web Server.
+#
+# Useful if a long running process or an infinite loop
+#
+
+echo_if_not_quiet "$*", "^Restarting Web Server..."
+
+sudo service nginx restart
+sudo service php5.6-fpm restart
+sudo service php7.0-fpm restart
