From e61e596d88e4cc8f7cd41d2a2a678d5a3dffd72d Mon Sep 17 00:00:00 2001
From: Remi Marenco <remi.marenco@gmail.com>
Date: Fri, 11 Mar 2016 15:40:09 -0500
Subject: [PATCH] Modify run.sh to add --restart option, for a more consisten
 use of parameters

---
 run.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/run.sh b/run.sh
index 8453587280e9..347ae2de3294 100755
--- a/run.sh
+++ b/run.sh
@@ -33,8 +33,14 @@ do
             stop_daemon_arg_set=1
             shift
             ;;
-        --daemon|restart)
-            paster_args="$paster_args $1"
+        --daemon|--restart|restart)
+            if [ $1 == "--restart" ]
+            then
+                paster_args="$paster_args restart"
+            else
+                paster_args="$paster_args $1"
+            fi
+
             daemon_or_restart_arg_set=1
             shift
             ;;