From 3072efb05b460f8edcf1d9187a92e98e513ca421 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 28 Feb 2016 14:10:31 +0100
Subject: Increase thread pool size for Prolog runner

---
 prolog/runner/daemon.pl | 2 +-
 prolog/runner/main.pl   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'prolog')

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)]).
-- 
cgit v1.2.1