diff --git a/scripts/start.sh b/scripts/start.sh index e5875943eb..9e7bb63d95 100755 --- a/scripts/start.sh +++ b/scripts/start.sh @@ -11,18 +11,31 @@ min() { workers=$(min 30 ${NB_WORKERS_ANTARES:-17}) # default to 17 and max is 30 +# Check for --no-gunicorn or --multiple-ports argument +use_gunicorn=true +for arg in "$@" +do + if [[ $arg == "--no-gunicorn" || $arg == "--multiple-ports" ]]; then + use_gunicorn=false + break + fi +done + if [ -z "$1" ] ; then sh $CUR_DIR/pre-start.sh - pids=() # Initialize empty array to store background process IDs - for ((i=0; i