Just realized that using -j option with a makefile and killing the spawned make process kills all child processes. This means that the process management code can much simpler without the need for the admittedly flaky cleanup system currently used. This needs to be implemented ASAP as well as preventing JMODs from talking to each other (AuthMiddleware).
Just realized that using -j option with a makefile and killing the spawned make process kills all child processes. This means that the process management code can much simpler without the need for the admittedly flaky cleanup system currently used. This needs to be implemented ASAP as well as preventing JMODs from talking to each other (AuthMiddleware).