ETCM-491 Use etc.conf as default config file (#880)

Author: enriquerodbe

src/universal/bin/mantis-launcher

@@ -7,6 +7,8 @@ CONFIG_FILE="./conf/$1.conf"
 if [ -f "$CONFIG_FILE" ]; then
   shift
   CHAIN_PARAM="-Dconfig.file=$CONFIG_FILE"
+elif [ -z "$1" ]; then
+  CHAIN_PARAM="-Dconfig.file=./conf/etc.conf"
 fi
 
 ./bin/mantis ${CHAIN_PARAM:+"$CHAIN_PARAM"} "$@"

src/universal/bin/mantis-launcher.bat

@@ -5,15 +5,20 @@ cd "%~dp0\.."
 set "CONFIG_FILE=conf\%1.conf"
 set "RESTVAR=%*"
 
-if not exist %CONFIG_FILE% goto :skip
-    set "CHAIN_PARAM=-Dconfig.file=%CONFIG_FILE%"
-    set RESTVAR=
+if exist %CONFIG_FILE% goto :set_chain_param
+
+if "%1"=="" set "CHAIN_PARAM=-Dconfig.file=conf\etc.conf"
+goto :launch
+
+:set_chain_param
+set "CHAIN_PARAM=-Dconfig.file=%CONFIG_FILE%"
+set RESTVAR=
+shift
+:loop
+if "%1"=="" goto :launch
+    set RESTVAR=%RESTVAR% %1
     shift
-    :loop
-    if "%1"=="" goto skip
-        set RESTVAR=%RESTVAR% %1
-        shift
-        goto loop
+    goto :loop
 
-:skip
+:launch
 call bin\mantis.bat %CHAIN_PARAM% %RESTVAR%