Merge pull request #2490 from aakankasha028/issue-388-refine-m-gt-256

Updated refine to fix #388
This commit is contained in:
Antonin Delpeuch 2020-03-28 17:20:04 +01:00 committed by GitHub
commit f0387d73a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

12
refine
View File

@ -45,6 +45,7 @@ where [options] include:
-m <memory> max memory heap size to use
default: 1024M
Values less than 256M not allowed
-k <google api key> a server API key for calling Google APIs
@ -783,7 +784,16 @@ while [ $# -ne 0 ] ; do
-i) shift; REFINE_HOST="$1"; shift; continue;;
-w) shift; REFINE_WEBAPP="$1"; shift; continue;;
-d) shift; REFINE_DATA_DIR="$1"; shift; continue;;
-m) shift; REFINE_MEMORY="$1"; shift; continue;;
-m)
shift;
if [ $1 -le 256 ]
then
fail "Value of -m less than 256 not allowed";
else
REFINE_MEMORY="$1";
shift;
continue;
fi;;
-k) shift; REFINE_GOOGLE_API_KEY="$1"; shift; continue;;
-v) shift; REFINE_VERBOSITY="$1"; shift; continue;;
-x) shift; REFINE_EXTRA_OPTS="$1"; shift; continue;;