Add sleep and help options to proxy start script

proxy/start.sh

@@ -1,7 +1,67 @@
 #!/usr/bin/env bash
+
+# How many seconds to sleep before starting the server again, unless it is explicitly specified
+DEFAULT_SLEEP_SECONDS=3
+
+function show_help {
+  local cmd=$0
+
+  echo "Create a start loop for the proxy server and optionally start a number of paper servers with it"
+  echo ""
+  echo "Usage: $cmd [OPTIONS]"
+  echo ""
+  echo "OPTIONS:"
+  echo "  -s --sleep <secs>  How many seconds to sleep after stopping the server"
+  # TODO options for paper servers
+  echo "  -h --help          Show this messasge"
+
+  exit
+}
+
+function main {
+
+  local sleep_seconds=$DEFAULT_SLEEP_SECONDS
+  local help=false
+
+  # Parse arguments
+  local cmd=$0
+  while [[ $# -gt 0 ]]; do
+    local arg=$1
+    case "$arg" in
+      "--sleep" | "-s")
+        sleep_seconds=$2
+        shift 2
+        ;;
+      "--help" | "-h")
+        help=true
+        shift
+        ;;
+      *)
+        err "Unknown argument: $arg"
+        ;;
+    esac
+  done
+
+  if $help; then
+    show_help "$cmd"
+  fi
+
   while true
   do
+    echo "Starting proxy..."
     ./launch.sh
-  echo sleeping...
+    echo "Sleeping for $sleep_seconds seconds..."
-  sleep 3
+    sleep "$sleep_seconds"
   done
+}
+
+# Shows an error message and exits the program with code 1
+#
+# Usage: err <msg>
+function err {
+  echo "$1"
+  exit 1
+}
+
+main "$@"
+

start.sh

@@ -40,7 +40,7 @@ function main {
   local cmd=$0
 
   # Parse arguments
-  while [ $# -gt 0 ]; do
+  while [[ $# -gt 0 ]]; do
     local arg=$1
     case "$arg" in
       "--config" | "-c")
@@ -118,7 +118,7 @@ function main {
   fi
 
   if $help; then
-    show_help $cmd
+    show_help "$cmd"
   fi
 
   # Apply configuration
@@ -163,9 +163,9 @@ function main {
 
   while true
   do
-    echo starting server...
+    echo "Starting server..."
     ./launch.sh
-    echo sleeping...
+    echo "Sleeping for $sleep_seconds seconds..."
     sleep "$sleep_seconds"
   done
 }