Support live hacking.
authorArun Isaac <arunisaac@systemreboot.net>
Wed, 5 Sep 2018 10:51:23 +0000 (16:21 +0530)
committerRicardo Wurmus <rekado@elephly.net>
Fri, 9 Nov 2018 18:50:27 +0000 (19:50 +0100)
commit5d68d1d5a29a404f91cd89cbea72c3f557f65518
treeb88f4ef9db92430b7a197a678ac1618dfaa3eaf5
parent24addb127cc0d41ef07ea1b428512650f3e146e1
Support live hacking.

* scripts/mumi.in: Spawn REPL server to support live hacking, if
--listen-repl is provided on the command line.
scripts/mumi.in