[ARVADOS-DEV] updated: 7dae80945a055453fea5ec85a3c4b1ca160b5c17

[git at public.curoverse.com]

Summary of changes:
 arvbox/docker/service/workbench/run | 1 +
 1 file changed, 1 insertion(+)

       via  7dae80945a055453fea5ec85a3c4b1ca160b5c17 (commit)
      from  f11b245d56c69fd127cf9340bbb5392ed6e48bf4 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 7dae80945a055453fea5ec85a3c4b1ca160b5c17
Author: Peter Amstutz <peter.amstutz at curoverse.com>
Date:   Mon Jan 4 16:18:39 2016 -0500

    8080: Fix arvados_docsite in workbench to point to local docsite.

diff --git a/arvbox/docker/service/workbench/run b/arvbox/docker/service/workbench/run
index 1bbb5e7..ccdbc54 100755
--- a/arvbox/docker/service/workbench/run
+++ b/arvbox/docker/service/workbench/run
@@ -28,6 +28,7 @@ common:
   arvados_insecure_https: true
   keep_web_download_url: http://$localip:25099/c=%{uuid_or_pdh}
   keep_web_url: http://$localip:25099/c=%{uuid_or_pdh}
+  arvados_docsite: http://$localip:8000/
 EOF
 
 rm -rf tmp

-----------------------------------------------------------------------


hooks/post-receive
--