Danny Milosavljevic <[email protected]> skribis: >> Apr 25 20:30:55 localhost gdm: Child process -15096 was already dead. >> Apr 25 20:30:55 localhost gdm: Child process 15093 was already dead. >> Apr 25 20:30:55 localhost gdm: Unable to kill session worker process > > WTF. I hope they don't kill the same pid twice and thus risk killing > innocent bystanders that happen to reuse the pid of the dead process. > > common/gdm-common.c gdm_signal_pid ... yes, they do.
:-)
