aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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]~%")