From d27eff2861a0ab4813e35a2f20d246131fcc18f2 Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Tue, 29 Sep 2015 11:05:01 +1000
Subject: [PATCH] Log the command used to launch the server

---
 tools/arkmanager | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/arkmanager b/tools/arkmanager
index 7697b25..e3aa1a7 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -466,6 +466,9 @@ doRun() {
 
   # Auto-restart loop
   while [ $restartserver -ne 0 ]; do
+    echo -n "`timestamp`: Running"
+    printf " %q" "$arkserverroot/$arkserverexec" "$arkserveropts" "${arkextraopts[@]}"
+    echo
     # Put the server process into the background so we can monitor it
     "$arkserverroot/$arkserverexec" "$arkserveropts" "${arkextraopts[@]}" &
     # Grab the server PID