Allow configuring the number of statediff workers. (#422)

* Allow configuring the number of statediff workers.

* Leave logging alone
This commit is contained in:
2023-06-05 18:16:42 -05:00
committed by GitHub
parent f1a626ddf5
commit a8e198ad55
2 changed files with 3 additions and 1 deletions
@@ -92,6 +92,7 @@ else
--statediff.db.logstatements=${CERC_STATEDIFF_DB_LOG_STATEMENTS:-false} \
--statediff.db.copyfrom=${CERC_STATEDIFF_DB_COPY_FROM:-true} \
--statediff.waitforsync=true \
--statediff.workers=${CERC_STATEDIFF_WORKERS:-1} \
--statediff.writing=true"
fi