diff options
| author | Arun Isaac | 2022-05-05 17:26:48 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-05-05 17:26:48 +0530 |
| commit | b66e7de1c97bdc85d778cb637b10bda30e465b01 (patch) | |
| tree | 66e782efc77ad602bdf3e900ac6933e144b41918 /gn/services | |
| parent | 1509bfcd257836eb5332e23462038858760fc642 (diff) | |
| download | guix-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.scm | 6 |
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]~%") |