From 3b8419f5306d1f000629401bc46c7182a3582f78 Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Fri, 10 Mar 2017 08:25:57 +1000 Subject: [PATCH] Add PID to status; add getpid command Requested in #759 --- tools/arkmanager | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/arkmanager b/tools/arkmanager index 7431ed0..b5d3de4 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -2625,6 +2625,7 @@ doRemoveCronJob(){ printStatus(){ if isTheServerRunning ;then echo -e "$NORMAL" "Server running: " "$GREEN" "Yes" "$NORMAL" + echo -e "$NORMAL" "Server PID: " "$GREEN" "$(getServerPID)" "$NORMAL" else echo -e "$NORMAL" "Server running: " "$RED" "No" "$NORMAL" fi @@ -3106,6 +3107,9 @@ main(){ status) printStatus ;; + getpid) + echo `getServerPID` + ;; *) echo -n "arkmanager v${arkstVersion}: unknown command '$command' specified" showUsage