diff options
Diffstat (limited to 'scripts')
| -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))) |