projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
4363: Merge branch 'master' into 4363-less-filename-munging
[arvados.git]
/
docker
/
arvdock
diff --git
a/docker/arvdock
b/docker/arvdock
index e36e5cfd597cb06c7f0a89646eb6838177a0655a..31e405bb410213dc798ccbeb9d85b916177369b6 100755
(executable)
--- a/
docker/arvdock
+++ b/
docker/arvdock
@@
-136,8
+136,8
@@
function make_keep_volumes () {
while [ ${#keep_volumes[*]} -lt 2 ]
do
new_keep=$(mktemp -d)
while [ ${#keep_volumes[*]} -lt 2 ]
do
new_keep=$(mktemp -d)
- echo >&2 "mounting
512M
tmpfs keep volume in $new_keep"
- sudo mount -t tmpfs -o size=
512M
tmpfs $new_keep
+ echo >&2 "mounting
2G
tmpfs keep volume in $new_keep"
+ sudo mount -t tmpfs -o size=
2G
tmpfs $new_keep
mkdir $new_keep/keep
keep_volumes+=($new_keep)
done
mkdir $new_keep/keep
keep_volumes+=($new_keep)
done
@@
-233,7
+233,8
@@
function do_start {
$start_keep == false ]]
then
start_doc=9898
$start_keep == false ]]
then
start_doc=9898
- start_sso=9901
+ #the sso server is currently not used by default so don't start it unless explicitly requested
+ #start_sso=9901
start_api=9900
start_compute=2
start_workbench=9899
start_api=9900
start_compute=2
start_workbench=9899
@@
-249,7
+250,11
@@
function do_start {
if [[ $start_api != false ]]
then
if [[ $start_api != false ]]
then
+ if [[ $start_sso != false ]]; then
start_container "$start_api:443" "api_server" '' "sso_server:sso" "arvados/api"
start_container "$start_api:443" "api_server" '' "sso_server:sso" "arvados/api"
+ else
+ start_container "$start_api:443" "api_server" '' '' "arvados/api"
+ fi
fi
if [[ $start_nameserver != false ]]
fi
if [[ $start_nameserver != false ]]
@@
-311,15
+316,20
@@
function do_start {
start_container "$start_workbench:80" "workbench_server" '' "api_server:api" "arvados/workbench"
fi
start_container "$start_workbench:80" "workbench_server" '' "api_server:api" "arvados/workbench"
fi
- if [
-d $HOME/.config/arvados ] || mkdir -p $HOME/.config/arvados
+ if [
[ $start_api != false ]]
then
then
- cat >$HOME/.config/arvados/settings.conf <<EOF
+ if [[ -f "api/generated/superuser_token" ]]
+ then
+ if [ -d $HOME/.config/arvados ] || mkdir -p $HOME/.config/arvados
+ then
+ cat >$HOME/.config/arvados/settings.conf <<EOF
ARVADOS_API_HOST=$(ip_address "api_server")
ARVADOS_API_HOST_INSECURE=yes
ARVADOS_API_TOKEN=$(cat api/generated/superuser_token)
EOF
ARVADOS_API_HOST=$(ip_address "api_server")
ARVADOS_API_HOST_INSECURE=yes
ARVADOS_API_TOKEN=$(cat api/generated/superuser_token)
EOF
+ fi
+ fi
fi
fi
-
}
function do_stop {
}
function do_stop {