enable quick switching from dev mode to runtime using USE_DEVMODE

Dyalog · Feb 12, 2018 · dcca718 · dcca718 · DyalogJenkins · Feb 12, 2018
1 parent 01d3227
commit dcca718
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -9,7 +9,7 @@ node ('Docker') {
                         DockerApp = docker.build 'registry.dyalog.com:5000/dyalog/miserver:latest'
                 }
                 stage ('Test website') {
-                        def MiServer = DockerApp.run ()
+                        def MiServer = DockerApp.run ('-e USE_DEVMODE=true')
                         try {
 				//Get the IP of the container
 				def DOCKER_MS = sh (

diff --git a/docker/entry.sh b/docker/entry.sh
@@ -6,5 +6,10 @@
 #tail -f /dev/null > /tmp/aplfifo &
 
 export MiServer=${MiServer-/MiServer/MS3}
-dyalog -rt /MiServer/miserver.dws
+
+if [ "${USE_DEVMODE}" = "true" ]; then
+    dyalog -s /MiServer/miserver.dws 2>/dev/null 0<&-
+else
+    dyalog -rt /MiServer/miserver.dws
+fi