Add arkCustomDynamicConfigURL option

This commit is contained in:
Ben Peddell 2020-09-29 17:49:17 +10:00
parent a11df034a2
commit e9afb36be2

View File

@ -1227,6 +1227,14 @@ doRun() {
fi
arkserveropts="${arkserveropts}?listen"
if [ -n "${arkCustomDynamicConfigURL}" ]; then
arkserveropts="${arkserveropts}?customdynamicconfigurl=${arkCustomDynamicConfigURL}"
if [[ ! -n "${usedoptions[arkflag_UseDynamicConfig]}" && ! -n "${usedoptions[arkopt_UseDynamicConfig]}" ]]; then
arkextraopts=( "${arkextraopts[@]}" "-UseDynamicConfig" )
fi
fi
# run the server in background
echo "`timestamp`: start"