scripts: Catch any errors in worker and restart.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 30 Mar 2020 17:32:17 +0000 (19:32 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 30 Mar 2020 17:32:17 +0000 (19:32 +0200)
commitc4730af97cf60a6159ad73437b27426cd9bfada6
tree9dcd940afe37fdd4a2055f9b67bd1785d5446506
parent5521df26f7baa484f542b5f47db8f826f1f57158
scripts: Catch any errors in worker and restart.
scripts/mumi.in