diff options
-rw-r--r-- | production.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/production.scm b/production.scm index d1cd777..e5acefb 100644 --- a/production.scm +++ b/production.scm @@ -50,7 +50,10 @@ (service virtuoso-service-type (virtuoso-configuration (server-port 9892) - (http-server-port 9893))) + (http-server-port 9893) + (dirs-allowed "/var/lib/virtuoso") + (number-of-buffers 4000000) + (maximum-dirty-buffers 3000000))) (service forge-nginx-service-type (forge-nginx-configuration (http-listen (forge-ip-socket |