2023-07-11 17:08:43 +02:00
|
|
|
WMSA_HOME=run/
|
2023-10-14 12:07:40 +02:00
|
|
|
EXECUTOR_SERVICE_OPTS="-DdistPath=/dist"
|
2023-10-15 18:38:30 +02:00
|
|
|
CONVERTER_PROCESS_OPTS="-Dservice-host=0.0.0.0"
|
|
|
|
CRAWLER_PROCESS_OPTS="-Dservice-host=0.0.0.0"
|
|
|
|
LOADER_PROCESS_OPTS="-Dservice-host=0.0.0.0"
|
|
|
|
INDEX_CONSTRUCTION_PROCESS_OPTS="-Djava.util.concurrent.ForkJoinPool.common.parallelism=4"
|