# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1409737569 -7200
# Node ID 02c26e6630d0250771c668ce27c8de491d0aeccd
# Parent  beaf8d4475e44af5f0d2516dd35c72083baf9dda
misc (launch script): added a "status" command

diff -r beaf8d4475e4 -r 02c26e6630d0 src/sat.sh
--- a/src/sat.sh	Wed Sep 03 11:46:06 2014 +0200
+++ b/src/sat.sh	Wed Sep 03 11:46:09 2014 +0200
@@ -53,6 +53,8 @@
 APP_NAME="$APP_NAME"
 PID_FILE="$PID_DIR$APP_NAME_FILE.pid"
 LOG_FILE="$LOG_DIR$APP_NAME_FILE.log"
+RUNNING_MSG="$APP_NAME is running"
+NOT_RUNNING_MSG="$APP_NAME is *NOT* running"
 
 # if there is one argument which is "stop", then we kill SàT
 if [ $# -eq 1 ];then
@@ -65,6 +67,24 @@
     elif [ $1 = "fg" ];then
         echo "Launching $APP_NAME in foreground mode"
         DAEMON="n"
+    elif [ $1 = "status" ];then
+		if [ -f $PID_FILE ]; then
+			PID=`cat $PID_FILE`
+			ps -p$PID 2>&1 > /dev/null
+			if [ $? = 0  ];then
+				echo "$RUNNING_MSG (pid: $PID)"
+				exit 0
+			else
+				echo "$NOT_RUNNING_MSG, but a pid file is present (bad exit ?): $PID_FILE"
+				exit 2
+			fi
+		else
+			echo "$NOT_RUNNING_MSG"
+			exit 1
+		fi
+	else
+		echo "bad argument, please use one of (stop, debug, fg, status) or no argument"
+		exit 1
     fi
 fi