aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMunyoki Kilyungi2023-06-20 17:17:00 +0300
committerMunyoki Kilyungi2023-06-20 17:17:00 +0300
commit036f01c19168caf46c92605305426cf201cb2c8a (patch)
tree9dff0b8802ac8ebdae12d2653fef5b1af794f8b7
parent550b45e4a9b4902a6ce938ee7b592b779c73ac7b (diff)
downloadguix-bioinformatics-036f01c19168caf46c92605305426cf201cb2c8a.tar.gz
Add dirs-allowed to virtuoso configs
-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)))