And for the old core (the one from where you got the last log messages above), if you still have it, take from gdb the output for following commands:

set $i=0
while ($i < process_no)
p pt[$i++]
end

to see the type of the process that exited.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.