diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 14:10:31 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-28 14:10:31 +0100 |
| commit | 3072efb05b460f8edcf1d9187a92e98e513ca421 (patch) | |
| tree | e0a9310a5bfedd1c058a9947b4863f9dc469608b /prolog | |
| parent | 575c459059d6f847eb49935f4680da1981a0dbaf (diff) | |
Increase thread pool size for Prolog runner
Diffstat (limited to 'prolog')
| -rwxr-xr-x | prolog/runner/daemon.pl | 2 | ||||
| -rwxr-xr-x | prolog/runner/main.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/prolog/runner/daemon.pl b/prolog/runner/daemon.pl index c482282..b8515b3 100755 --- a/prolog/runner/daemon.pl +++ b/prolog/runner/daemon.pl @@ -36,7 +36,7 @@ prolog:error_message(time_limit_exceeded) --> [ 'time limit exceeded' ]. :- set_setting(pengine_sandbox:time_limit, 5.0). -:- set_setting(pengine_sandbox:thread_pool_size, 50). +:- set_setting(pengine_sandbox:thread_pool_size, 500). % Start the server. Set fork(true) if you desire for the process to fork into background. You may also want pidfile(filename). % See /usr/lib/swi-prolog/library/http/http_unix_daemon.pl and thread_httpd.pl for all options. diff --git a/prolog/runner/main.pl b/prolog/runner/main.pl index 3c324c8..18d8f83 100755 --- a/prolog/runner/main.pl +++ b/prolog/runner/main.pl @@ -35,7 +35,7 @@ prolog:error_message(time_limit_exceeded) --> [ 'time limit exceeded' ]. :- set_setting(pengine_sandbox:time_limit, 5.0). -:- set_setting(pengine_sandbox:thread_pool_size, 50). +:- set_setting(pengine_sandbox:thread_pool_size, 500). % Load required predicates then disable autoloading. :- autoload([verbose(false)]). |