diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:24:55 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:30:00 +0200 |
| commit | cbb2faece6734a06c59c4af905618c63e0d28482 (patch) | |
| tree | 77520f3b6a65feca99f8066311e4c2eb93d4d71d /scripts/mumi.in | |
| parent | 24780efa3be0ead59566b4d0ef12e37ceccd6530 (diff) | |
scripts: Show mumi usage info.
Diffstat (limited to 'scripts/mumi.in')
| -rw-r--r-- | scripts/mumi.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/mumi.in b/scripts/mumi.in index 566ab7d..9dd8980 100644 --- a/scripts/mumi.in +++ b/scripts/mumi.in @@ -156,4 +156,5 @@ (let ((repl-port (assoc-ref opts 'listen-repl))) (when repl-port (spawn-server (make-tcp-server-socket #:port repl-port)))) - (start-mumi-web-server 1234))))) + (start-mumi-web-server 1234)))) + (_ (show-mumi-usage))) |