help wanted
Repository metrics
- Stars
- (1,108 stars)
- PR merge metrics
- (PR metrics pending)
Description
say you add a process with name 'foo' to config.json, start it, and then go to config.json and remove 'foo'.
now you are in a state where there is a foo.pid and foo.mon.pid, and the foo processes are likely running
IMO any PIDs that aren't referenced by 'config.json' should get SIGTERM'd and then deleted