web: Parameterize web server listen address.

* mumi/web/server.scm (start-mumi-web-server): Accept web server
listen address as argument.
* scripts/mumi.in: Pass 0.0.0.0 as web server listen address.

diff --git a/mumi/web/server.scm b/mumi/web/server.scm
index 5fb54ebce35e7ed0abb4f43f8c4510f6a1b8b91e..db7662aaf0783bcfbc2b83b04c87f8558d08c429 100644 (file)
--- a/mumi/web/server.scm
+++ b/mumi/web/server.scm
@@ -35,10 +35,10 @@
           (cons (request-method request)
                 (request-path-components request)))))
 
-(define (start-mumi-web-server port)
+(define (start-mumi-web-server address port)
   (format (current-error-port)
-          "Mumi web server listening on http://0.0.0.0:~a/~%"
-          port)
+          "Mumi web server listening on http://~a:~a/~%"
+          address port)
   (run-server handler
-              #:addr INADDR_ANY
+              #:addr (inet-pton AF_INET address)
               #:port port))

diff --git a/scripts/mumi.in b/scripts/mumi.in
index bd13b1bd0d887ead3fcb5fbb6733bce9b3063bb4..5ec33cc01d5094d64755020735577efbfc7ccb14 100644 (file)
--- a/scripts/mumi.in
+++ b/scripts/mumi.in
@@ -140,5 +140,5 @@
                    "REPL server listening on port ~a~%"
                    repl-port)
            (spawn-server (make-tcp-server-socket #:port repl-port))))
-       (start-mumi-web-server 1234))))
+       (start-mumi-web-server "0.0.0.0" 1234))))
   (_ (show-mumi-usage)))