diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2022-01-03 01:13:22 +0530 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-07 16:42:13 +0100 |
| commit | 6d29e3bf601801b734769bf6ae1b11f84f94ee8a (patch) | |
| tree | b2b5bf6ff2d4a70c3593be7839e1818e1267aa4a /scripts/mumi.in | |
| parent | 823690559011afeacb9dfed02e44ec8078a10976 (diff) | |
scripts: Report REPL server port.
* scripts/mumi.in: Report REPL server port on current-error-port.
Diffstat (limited to 'scripts/mumi.in')
| -rw-r--r-- | scripts/mumi.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in index 2d4b28f..bd13b1b 100644 --- a/scripts/mumi.in +++ b/scripts/mumi.in @@ -4,7 +4,7 @@ !# ;;; mumi -- Mediocre, uh, mail interface ;;; Copyright © 2016, 2017, 2019, 2020 Ricardo Wurmus <rekado@elephly.net> -;;; Copyright © 2018 Arun Isaac <arunisaac@systemreboot.net> +;;; Copyright © 2018, 2021 Arun Isaac <arunisaac@systemreboot.net> ;;; ;;; This file is part of mumi. ;;; @@ -136,6 +136,9 @@ (parameterize ((mailer-enabled? (not (assoc-ref opts 'disable-mailer)))) (let ((repl-port (assoc-ref opts 'listen-repl))) (when repl-port + (format (current-error-port) + "REPL server listening on port ~a~%" + repl-port) (spawn-server (make-tcp-server-socket #:port repl-port)))) (start-mumi-web-server 1234)))) (_ (show-mumi-usage))) |