# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1412353900 -7200
# Node ID 7e8356479fefcadc6ac0dc760548a437e7cfa709
# Parent  160b45937ed25da9f3336a3cb9ae61fbdefcde2d
misc: launch script fix (there can now be more than 1 argument)

diff -r 160b45937ed2 -r 7e8356479fef src/libervia.sh
--- a/src/libervia.sh	Fri Oct 03 18:13:48 2014 +0200
+++ b/src/libervia.sh	Fri Oct 03 18:31:40 2014 +0200
@@ -57,7 +57,7 @@
 NOT_RUNNING_MSG="$APP_NAME is *NOT* running"
 
 # if there is one argument which is "stop", then we kill Libervia
-if [ $# -eq 1 ];then
+if [ $# -ge 1 ];then
     if [ $1 = "stop" ];then
         kill_process $PID_FILE "$APP_NAME"
         exit 0