summaryrefslogtreecommitdiff
path: root/scripts/mumi.in
diff options
context:
space:
mode:
authorArun Isaac <arunisaac@systemreboot.net>2022-01-03 01:13:22 +0530
committerRicardo Wurmus <rekado@elephly.net>2022-01-07 16:42:13 +0100
commit6d29e3bf601801b734769bf6ae1b11f84f94ee8a (patch)
treeb2b5bf6ff2d4a70c3593be7839e1818e1267aa4a /scripts/mumi.in
parent823690559011afeacb9dfed02e44ec8078a10976 (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.in5
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)))