aboutsummaryrefslogtreecommitdiff
path: root/gn/services
diff options
context:
space:
mode:
authorArun Isaac2022-05-05 17:25:52 +0530
committerArun Isaac2022-05-05 17:25:52 +0530
commit1509bfcd257836eb5332e23462038858760fc642 (patch)
tree79428e3b293debff9a17b1a56ef10caa2466425f /gn/services
parent2aeeaf881219222bbbb50a242842bb7a91b91250 (diff)
downloadguix-bioinformatics-1509bfcd257836eb5332e23462038858760fc642.tar.gz
services: databases: Add virtuoso number of buffers configuration.
* gn/services/databases.scm (<virtuoso-configuration>)[number-of-buffers]: New field. (virtuoso-shepherd-service): Serialize number-of-buffers field.
Diffstat (limited to 'gn/services')
-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]~%")