merge develop

1 files changed, 3 insertions, 4 deletions

diff --git a/docker/spinup.sh b/docker/spinup.sh
index 0625967..399d781 100755
--- a/docker/spinup.sh
+++ b/docker/spinup.sh
@@ -3,10 +3,9 @@
 declare -i NUM_INSTANCES=$1
 declare -i BASE_PORT=2222
 
-echo > serverlist.txt
-
 for (( i=0; i < $NUM_INSTANCES; i++ )); do
     port=$[ BASE_PORT + i + 1 ]
-	docker run -d --name dserver-serv$i --hostname serv$i -p $port:2222 dserver:develop
-	echo localhost:$port >> serverlist.txt
+    name=dserver-serv$i
+    echo Creating $name
+    docker run -d --name $name --hostname serv$i -p $port:2222 dserver:develop
 done