From 6d29e3bf601801b734769bf6ae1b11f84f94ee8a Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Mon, 3 Jan 2022 01:13:22 +0530 Subject: scripts: Report REPL server port. * scripts/mumi.in: Report REPL server port on current-error-port. --- scripts/mumi.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'scripts') 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 -;;; Copyright © 2018 Arun Isaac +;;; Copyright © 2018, 2021 Arun Isaac ;;; ;;; 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))) -- cgit v1.2.3