summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rwxr-xr-xprolog/runner/daemon.pl2
-rwxr-xr-xprolog/runner/main.pl2
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)]).