
24 Jul
2018
24 Jul
'18
2:52 p.m.
Hi Brandon, hi Levent,
The trick here is to set the option that creates a process group
Ah yes! interruptProcessGroupOf seems to work here. Thanks very much. My code: https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/blob/master/random... but (apart from its general hackiness) I think it does not work right when I thread-kill this from within my own program. Which I don't, at the moment, but certainly will, sometime later. - J.W.