aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArun Isaac2022-03-10 16:27:06 +0530
committerArun Isaac2022-03-10 16:27:06 +0530
commitfcd6b48cd5e7b02e3f336388e9bb38fa6e5f7f76 (patch)
treeaf9917684a96c83bbc97ac7c4ac5dac387d4d6fe
parentb18bd09d02745909af974f685d2aa883d4ac3101 (diff)
downloadguix-bioinformatics-fcd6b48cd5e7b02e3f336388e9bb38fa6e5f7f76.tar.gz
services: databases: Add virtuoso SQL server IP and port setting.
* gn/services/databases.scm (<virtuoso-configuration>)[server-ip, server-port]: New fields. * gn/services/databases.scm (virtuoso-shepherd-service): Use server-ip and server-port.
-rw-r--r--gn/services/databases.scm12
1 files changed, 12 insertions, 0 deletions
diff --git a/gn/services/databases.scm b/gn/services/databases.scm
index 51c7e1a..f8fb01b 100644
--- a/gn/services/databases.scm
+++ b/gn/services/databases.scm
@@ -9,6 +9,8 @@
#:export (virtuoso-configuration
virtuoso-configuration?
virtuoso-configuration-package
+ virtuoso-configuration-server-ip
+ virtuoso-configuration-server-port
virtuoso-configuration-http-server-ip
virtuoso-configuration-http-server-port
virtuoso-service-type))
@@ -22,6 +24,10 @@
virtuoso-configuration?
(package virtuoso-configuration-package
(default virtuoso-ose))
+ (server-ip virtuoso-configuration-server-ip
+ (default "localhost"))
+ (server-port virtuoso-configuration-server-port
+ (default 1111))
(http-server-ip virtuoso-configuration-http-server-ip
(default "localhost"))
(http-server-port virtuoso-configuration-http-server-port
@@ -52,6 +58,12 @@
"virtuoso.ini"
#~(call-with-output-file #$output
(lambda (port)
+ (when (and #$(virtuoso-configuration-server-ip config)
+ #$(virtuoso-configuration-server-port config))
+ (format port "[Parameters]~%")
+ (format port "ServerPort = ~a:~a~%"
+ #$(virtuoso-configuration-server-ip config)
+ #$(virtuoso-configuration-server-port config)))
(when (and #$(virtuoso-configuration-http-server-ip config)
#$(virtuoso-configuration-http-server-port config))
(format port "[HTTPServer]~%")