bug#35408: External monitor not working with GDM

[Ludovic Courtès]

Danny Milosavljevic <address@hidden> 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.

:-)