<@U0MEUGTCM>: that makes perfect sense. I wrote a ...

# random

[janvladimirmostert]

@oshai: that makes perfect sense. I wrote a manager app to start and stop these jars; I’ll modify it a bit, on stop, call kill, start a timer in a different thread to keep an eye on the process id, if the process is still running 15 seconds later, offer the option to force kill it with kill -9 or wait another 15 seconds.