From e9afb36be2b4d0743f0cf1deb2edc79efdffa2c2 Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Tue, 29 Sep 2020 17:49:17 +1000 Subject: [PATCH] Add arkCustomDynamicConfigURL option --- tools/arkmanager | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tools/arkmanager b/tools/arkmanager index 06555fb..ddfccea 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -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"