From 1509bfcd257836eb5332e23462038858760fc642 Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Thu, 5 May 2022 17:25:52 +0530 Subject: services: databases: Add virtuoso number of buffers configuration. * gn/services/databases.scm ()[number-of-buffers]: New field. (virtuoso-shepherd-service): Serialize number-of-buffers field. --- gn/services/databases.scm | 6 ++++++ 1 file changed, 6 insertions(+) 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]~%") -- cgit v1.2.3