Add workbench server to build.sh and run.sh

diff --git a/docker/build.sh b/docker/build.sh
index 97cb97558c53293b4a5f65a7876c985d095601fd..366775dd387428e7df3a856fc54017a84358f0e2 100755 (executable)
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -8,3 +8,4 @@
 docker build -t arvados/base base
 docker build -t arvados/api api
 docker build -t arvados/docserver docserver
+docker build -t arvados/workbench workbench

diff --git a/docker/run.sh b/docker/run.sh
index 5536de473b8f3e7dbb71b52f047264bde20df7ca..c1531a55dedcf9a02cfd60de76cbbd1b4c3cdc72 100755 (executable)
--- a/docker/run.sh
+++ b/docker/run.sh
@@ -1,6 +1,8 @@
 #!/bin/sh
 
 
-echo "Starting documentation server on port 9898"
-
+echo "Starting documentation server: http://localhost:9898"
 docker run -d -i -t -p 9898:80 arvados/docserver
+
+echo "Starting workbench server:     http://localhost:9899"
+docker run -d -i -t -p 9899:80 arvados/workbench