diff options
| author | Arun Isaac | 2022-03-10 16:25:06 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-03-10 16:26:50 +0530 |
| commit | b18bd09d02745909af974f685d2aa883d4ac3101 (patch) | |
| tree | 3cae9a8628f01b51b25280528881635ae0a25d34 | |
| parent | 8875ac474926e59826ea3ddb0c7c07d9a38dfdaf (diff) | |
| download | guix-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.
| -rw-r--r-- | gn/services/databases.scm | 9 |
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" |