From 8c766858ff8b150f2d47c7d47621aae21ce6971c Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Wed, 3 Sep 2014 11:46:09 +0200
Subject: [PATCH] misc (launch script): added a "status" command

---
 src/sat.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/sat.sh b/src/sat.sh
index f9a56355..36fc722d 100755
--- a/src/sat.sh
+++ b/src/sat.sh
@@ -53,6 +53,8 @@ PYTHONEND
 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 @@ if [ $# -eq 1 ];then
     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