aboutsummaryrefslogtreecommitdiff
path: root/gn/services
diff options
context:
space:
mode:
authorArun Isaac2022-05-05 17:26:48 +0530
committerArun Isaac2022-05-05 17:26:48 +0530
commitb66e7de1c97bdc85d778cb637b10bda30e465b01 (patch)
tree66e782efc77ad602bdf3e900ac6933e144b41918 /gn/services
parent1509bfcd257836eb5332e23462038858760fc642 (diff)
downloadguix-bioinformatics-b66e7de1c97bdc85d778cb637b10bda30e465b01.tar.gz
services: databases: Add virtuoso maximum dirty buffers configuration.
* gn/services/databases.scm (<virtuoso-configuration>)[maximum-dirty-buffers]: New field. (virtuoso-shepherd-service): Serialize maximum-dirty-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 22f27e2..d377648 100644
--- a/gn/services/databases.scm
+++ b/gn/services/databases.scm
@@ -13,6 +13,7 @@
virtuoso-configuration-server-ip
virtuoso-configuration-server-port
virtuoso-configuration-number-of-buffers
+ virtuoso-configuration-maximum-dirty-buffers
virtuoso-configuration-http-server-ip
virtuoso-configuration-http-server-port
virtuoso-service-type))
@@ -34,6 +35,8 @@
(default 1111))
(number-of-buffers virtuoso-configuration-number-of-buffers
(default #f))
+ (maximum-dirty-buffers virtuoso-configuration-maximum-dirty-buffers
+ (default #f))
(http-server-ip virtuoso-configuration-http-server-ip
(default "localhost"))
(http-server-port virtuoso-configuration-http-server-port
@@ -73,6 +76,9 @@
(when #$(virtuoso-configuration-number-of-buffers config)
(format port "NumberOfBuffers = ~a~%"
#$(virtuoso-configuration-number-of-buffers config)))
+ (when #$(virtuoso-configuration-maximum-dirty-buffers config)
+ (format port "MaxDirtyBuffers = ~a~%"
+ #$(virtuoso-configuration-maximum-dirty-buffers config)))
(when (and #$(virtuoso-configuration-http-server-ip config)
#$(virtuoso-configuration-http-server-port config))
(format port "[HTTPServer]~%")