aboutsummaryrefslogtreecommitdiff
path: root/gn/services/databases.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gn/services/databases.scm')
-rw-r--r--gn/services/databases.scm6
1 files changed, 6 insertions, 0 deletions
diff --git a/gn/services/databases.scm b/gn/services/databases.scm
index deae96d..22f27e2 100644
--- a/gn/services/databases.scm
+++ b/gn/services/databases.scm
@@ -12,6 +12,7 @@
virtuoso-configuration-state-directory
virtuoso-configuration-server-ip
virtuoso-configuration-server-port
+ virtuoso-configuration-number-of-buffers
virtuoso-configuration-http-server-ip
virtuoso-configuration-http-server-port
virtuoso-service-type))
@@ -31,6 +32,8 @@
(default "localhost"))
(server-port virtuoso-configuration-server-port
(default 1111))
+ (number-of-buffers virtuoso-configuration-number-of-buffers
+ (default #f))
(http-server-ip virtuoso-configuration-http-server-ip
(default "localhost"))
(http-server-port virtuoso-configuration-http-server-port
@@ -67,6 +70,9 @@
(format port "ServerPort = ~a:~a~%"
#$(virtuoso-configuration-server-ip config)
#$(virtuoso-configuration-server-port config)))
+ (when #$(virtuoso-configuration-number-of-buffers config)
+ (format port "NumberOfBuffers = ~a~%"
+ #$(virtuoso-configuration-number-of-buffers config)))
(when (and #$(virtuoso-configuration-http-server-ip config)
#$(virtuoso-configuration-http-server-port config))
(format port "[HTTPServer]~%")