diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2022-01-03 01:13:25 +0530 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-01-07 16:42:23 +0100 |
| commit | 8573667f538e2e65c9dd59b7f8fc5c02d3da32a5 (patch) | |
| tree | 88bad0e2b34a7c43c0c6b50ca5779bc84c018d0e /etc | |
| parent | ac21057c902cc762f35be039b89c88c6db2b1de1 (diff) | |
scripts: Allow the REPL to listen on Unix domain sockets.
* scripts/mumi.in (%options): Do not error out on non-numeric
listen-repl arguments.
Spawn REPL server on a TCP socket if listen-repl is numeric, else
spawn REPL server on a Unix domain socket.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions