diff options
author | BonfaceKilz | 2023-06-26 07:39:57 +0000 |
---|---|---|
committer | BonfaceKilz | 2023-06-26 07:39:57 +0000 |
commit | d4d88e8326b658fe0ea3ec2f0097858b8920c07d (patch) | |
tree | 173299990b814a1817465d486a557d320ff688ae /gn/services | |
parent | e1a7675ad21b9be4fbe18d5d57e8aec741e20e97 (diff) | |
parent | 036f01c19168caf46c92605305426cf201cb2c8a (diff) | |
download | guix-bioinformatics-d4d88e8326b658fe0ea3ec2f0097858b8920c07d.tar.gz |
Merge branch 'add-virtuoso-allowed-dirs' into 'master'
Add dirs-allowed to virtuoso configs
See merge request genenetwork/guix-bioinformatics!24
Diffstat (limited to 'gn/services')
-rw-r--r-- | gn/services/databases.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gn/services/databases.scm b/gn/services/databases.scm index 2b2b225..d12a563 100644 --- a/gn/services/databases.scm +++ b/gn/services/databases.scm @@ -33,6 +33,8 @@ (default "localhost")) (server-port virtuoso-configuration-server-port (default 1111)) + (dirs-allowed virtuoso-dirs-allowed + (default "/var/genenetwork/virtuoso-data")) (number-of-buffers virtuoso-configuration-number-of-buffers (default #f)) (maximum-dirty-buffers virtuoso-configuration-maximum-dirty-buffers @@ -84,6 +86,9 @@ (format port "ServerPort = ~a:~a~%" #$(virtuoso-configuration-server-ip config) #$(virtuoso-configuration-server-port config))) + (when #$(virtuoso-dirs-allowed config) + (format port "[DirsAllowed] = ~a~%" + #$(virtuoso-dirs-allowed config))) (when #$(virtuoso-configuration-number-of-buffers config) (format port "NumberOfBuffers = ~a~%" #$(virtuoso-configuration-number-of-buffers config))) |