diff options
| author | Arun Isaac | 2022-03-10 16:27:06 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-03-10 16:27:06 +0530 |
| commit | fcd6b48cd5e7b02e3f336388e9bb38fa6e5f7f76 (patch) | |
| tree | af9917684a96c83bbc97ac7c4ac5dac387d4d6fe /gn | |
| parent | b18bd09d02745909af974f685d2aa883d4ac3101 (diff) | |
| download | guix-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.
Diffstat (limited to 'gn')
| -rw-r--r-- | gn/services/databases.scm | 12 |
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]~%") |