2023-07-11 17:08:43 +02:00
|
|
|
WMSA_HOME=run/
|
2023-07-17 21:20:31 +02:00
|
|
|
CONTROL_SERVICE_OPTS="-DdistPath=/dist"
|
2023-07-20 21:05:16 +02:00
|
|
|
CONVERTER_OPTS="-ea -Xmx16G -XX:-CompactStrings -XX:+UseParallelGC -XX:GCTimeRatio=14 -XX:ParallelGCThreads=15"
|
|
|
|
CRAWLER_OPTS="-Xmx16G -XX:+UseParallelGC -XX:GCTimeRatio=14 -XX:ParallelGCThreads=15"
|