From fa25fd7f3cb5be4efe4d3634607bc8f20d2dc7cb Mon Sep 17 00:00:00 2001
From: Jason Rivers <jason@jasonrivers.co.uk>
Date: Wed, 1 Aug 2018 12:01:36 +0100
Subject: [PATCH] Show MiServer version when starting up.

---
 .gitignore      | 1 +
 docker/entry.sh | 7 ++-----
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 76213fa7..b5241871 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
+MiServer.version
 sessions.dcf
 SampleMiSites/MS3/Misc/
diff --git a/docker/entry.sh b/docker/entry.sh
index 20a01843..b7a2d0b8 100755
--- a/docker/entry.sh
+++ b/docker/entry.sh
@@ -7,9 +7,6 @@
 
 export MiServer=${MiServer-/MiServer/MS3}
 
-if [ "${USE_DEVMODE}" = "true" ]; then
-    dyalog -s /MiServer/miserver.dws 2>/dev/null 0<&-
-else
-    dyalog -rt /MiServer/miserver.dws
-fi
+echo "Running MiServer: $(cat /MiServer/MiServer.version)"
+/usr/bin/dyalog -s /MiServer/miserver.dws 0<&-