From c0d7ddae5bc405bc0ecc1f8e2a47bde7c87902ea Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Sun, 13 Dec 2020 22:05:52 +0100
Subject: [PATCH] (Re)add WORKDIR /sebserver

---
 docker/demo/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/demo/Dockerfile b/docker/demo/Dockerfile
index f1c0d646..5f440998 100644
--- a/docker/demo/Dockerfile
+++ b/docker/demo/Dockerfile
@@ -8,6 +8,8 @@ ENV SERVER_PWD=demo_pwd
 COPY seb-server-$SEBSERVER_JAR.jar /sebserver/seb-server-$SEBSERVER_JAR.jar
 COPY docker/demo/config/ /sebserver/config/
 
+WORKDIR /sebserver
+
 ENTRYPOINT exec java \
     -Dcom.sun.management.jmxremote \
     -Dcom.sun.management.jmxremote.port=9090 \