diff --git a/dockerfiles/julia/Dockerfile b/dockerfiles/julia/Dockerfile index 98471cb..9229fdd 100644 --- a/dockerfiles/julia/Dockerfile +++ b/dockerfiles/julia/Dockerfile @@ -19,7 +19,7 @@ ENV JULIA_CLONES_DIR="/julia/clones" # StorageServer.jl is an experimental toolkit and it won't be registered in General # The API is likely to be changed in the future, so we fix the version here for stability consideration -RUN julia -e 'using Pkg; pkg"add https://github.com/johnnychen94/StorageServer.jl#v0.1.0-beta"' +RUN julia -e 'using Pkg; pkg"add https://github.com/johnnychen94/StorageServer.jl#v0.1.0-rc1"' RUN chown -R 2000 /tmp/julia/ diff --git a/julia.sh b/julia.sh index b4590b1..4a56062 100755 --- a/julia.sh +++ b/julia.sh @@ -7,8 +7,12 @@ cd "${TUNASYNC_WORKING_DIR}" export JULIA_STATIC_DIR="$PWD/static" export JULIA_CLONES_DIR="$PWD/clones" +# timeout (seconds) for individual package instead of the whole mirror process +# initialization should use a larger timeout, e.g., 7200 +PKG_TIMEOUT=600 + # update and mirror the General registry git -C registries/General fetch --all git -C registries/General reset --hard origin/master -exec julia -e "using StorageServer; mirror_tarball(\"registries/General\", [\"$BASE_URL\"])" +exec julia -e "using StorageServer; mirror_tarball(\"registries/General\", [\"$BASE_URL\"]; timeout=$PKG_TIMEOUT)"