Hi, > So, according to that, ${pid} is “3658 29739” which looks wrong. > > Not sure what that means, whether there are two processes running and both > should be killed, or the way the PID is computed is buggy.
IMHO it means that there are 2 processes running, both need to be killed. If the PID was wrong you'd have seen something like this in the build log: [exec] kill: sending signal to XYZ failed: No such process > InfinispanServerKillProcessor has a slightly different way to compute the > PID, maybe it does it correctly? WDYT? that being said, I don't believe InfinispanServerKillProcessor would help here - as Jakub already wrote, it also calls kill -9. IMHO the question is why the process is not killed by kill -9 (probably some zombie process, but how it can get to this state?). Vojta
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ infinispan-dev mailing list infinispan-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/infinispan-dev