-
Sylvain Dailler authored
as a parameter of Scheduler. Cannot be done via set_max_tasks (because this number is sent to why3server and it fails when it is arbitrarily high).
1b6db438
as a parameter of Scheduler. Cannot be done via set_max_tasks (because this number is sent to why3server and it fails when it is arbitrarily high).