From 078a4f74fa9c078b9423be6f4d35e0b6932e191c Mon Sep 17 00:00:00 2001
From: Ward Vandewege <ward@clinicalfuture.com>
Date: Wed, 13 Nov 2013 12:43:20 -0500
Subject: [PATCH] Add workbench server to build.sh and run.sh

---
 docker/build.sh | 1 +
 docker/run.sh   | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/docker/build.sh b/docker/build.sh
index 97cb97558c..366775dd38 100755
--- 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 5536de473b..c1531a55de 100755
--- 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
-- 
2.30.2