aboutsummaryrefslogtreecommitdiff
path: root/gn
diff options
context:
space:
mode:
authorArun Isaac2022-03-10 16:25:06 +0530
committerArun Isaac2022-03-10 16:26:50 +0530
commitb18bd09d02745909af974f685d2aa883d4ac3101 (patch)
tree3cae9a8628f01b51b25280528881635ae0a25d34 /gn
parent8875ac474926e59826ea3ddb0c7c07d9a38dfdaf (diff)
downloadguix-bioinformatics-b18bd09d02745909af974f685d2aa883d4ac3101.tar.gz
services: databases: Add virtuoso HTTP server configuration.
* gn/services/databases.scm (<virtuoso-configuration>)[http-server-ip]: New field. * gn/services/databases.scm (virtuoso-shepherd-service): Use http-server-ip.
Diffstat (limited to 'gn')
-rw-r--r--gn/services/databases.scm9
1 files changed, 7 insertions, 2 deletions
diff --git a/gn/services/databases.scm b/gn/services/databases.scm
index 2a995d7..51c7e1a 100644
--- a/gn/services/databases.scm
+++ b/gn/services/databases.scm
@@ -9,6 +9,7 @@
#:export (virtuoso-configuration
virtuoso-configuration?
virtuoso-configuration-package
+ virtuoso-configuration-http-server-ip
virtuoso-configuration-http-server-port
virtuoso-service-type))
@@ -21,6 +22,8 @@
virtuoso-configuration?
(package virtuoso-configuration-package
(default virtuoso-ose))
+ (http-server-ip virtuoso-configuration-http-server-ip
+ (default "localhost"))
(http-server-port virtuoso-configuration-http-server-port
(default 8890)))
@@ -49,9 +52,11 @@
"virtuoso.ini"
#~(call-with-output-file #$output
(lambda (port)
- (when #$(virtuoso-configuration-http-server-port config)
+ (when (and #$(virtuoso-configuration-http-server-ip config)
+ #$(virtuoso-configuration-http-server-port config))
(format port "[HTTPServer]~%")
- (format port "ServerPort = ~a~%"
+ (format port "ServerPort = ~a:~a~%"
+ #$(virtuoso-configuration-http-server-ip config)
#$(virtuoso-configuration-http-server-port config)))))))
#:directory "/var/lib/virtuoso"
#:user "virtuoso"