Modify run.sh to add --restart option, for a more consisten use of parameters

2026-10-16 07:19:13 +08:00 · 2016-03-11 15:40:09 -05:00
parent 8423fe74df
commit e61e596d88
1 changed files with 8 additions and 2 deletions
@@ -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
            ;;