diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2022-01-03 01:13:21 +0530 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-07 16:42:09 +0100 |
| commit | 823690559011afeacb9dfed02e44ec8078a10976 (patch) | |
| tree | 3113d5cdb2841ee809fe5895df4161928dedce88 /scripts | |
| parent | f8802a0328dd4a45450c5235838f36a135a2dab1 (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