#!/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