summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorArun Isaac <arunisaac@systemreboot.net>2022-01-03 01:13:21 +0530
committerRicardo Wurmus <rekado@elephly.net>2022-01-07 16:42:09 +0100
commit823690559011afeacb9dfed02e44ec8078a10976 (patch)
tree3113d5cdb2841ee809fe5895df4161928dedce88 /scripts
parentf8802a0328dd4a45450c5235838f36a135a2dab1 (diff)
web: Report web server address and port.
* mumi/web/server.scm (start-mumi-web-server): Report web server address and port on current-error-port.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions