Update optionality of arguments.

-- is supposed to separate arguments for run.sh and PHP script. The fact that everything works without it is, actually, a bug that would be dealt with later.
PanDAWMS · Apr 11, 2020 · a1eb61b · a1eb61b
1 parent 8a47f98
commit a1eb61b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Utils/Dataflow/019_esFormat/run.sh b/Utils/Dataflow/019_esFormat/run.sh
@@ -6,7 +6,7 @@ ES_CONFIG=$base_dir/../../Elasticsearch/config/es
 CONFIG_DEFAULT=TRUE
 
 usage() {
-  echo "usage: $(basename "$0") [-h] [-c CONFIG] [--] [ARGS]
+  echo "usage: $(basename "$0") [-h] [-c CONFIG] [-- [ARGS]]
   
 optional arguments:
   -h, --help   show this help message and exit