aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBonfaceKilz2023-06-26 07:39:57 +0000
committerBonfaceKilz2023-06-26 07:39:57 +0000
commitd4d88e8326b658fe0ea3ec2f0097858b8920c07d (patch)
tree173299990b814a1817465d486a557d320ff688ae
parente1a7675ad21b9be4fbe18d5d57e8aec741e20e97 (diff)
parent036f01c19168caf46c92605305426cf201cb2c8a (diff)
downloadguix-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
-rw-r--r--gn/services/databases.scm5
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)))