Pour tuer un processus defunct ou zombie, il faut passer par son père, par exemple si ton PID est 42 :
$ ps -fp 42
UID PID PPID C STIME TTY TIME CMD
mollock 42 41 2 17:07 pts/0 00:00:00 xterm
tu obtient le Parent process ID (PPID) et tu demande au père de tuer ses process fils :
$ kill -SIGCHLD 41
Un process zombie est un process qui ne sait plus qui est son process père, il ne peut donc pas le prevenir de sa mort prochaine et ne répond pas au signal kill. Par contre, le père sait qui son ses fils, et saura les tuer.
Donc si tu lances galeon depuis un launcher gnome, lui-même lancé par le serveur X, tu peux relancer ton serveur X : "ctrl-alt-backspace" . Cette opération declenchera une cascade de kills, carnage dont ton browser sera victime...
[^] # Re: A propos de Bugfixes
Posté par Jerome Demeyer . En réponse à la dépêche Beaucoup de nouveautés dans Mozilla. Évalué à 10.
$ ps -fp 42
UID PID PPID C STIME TTY TIME CMD
mollock 42 41 2 17:07 pts/0 00:00:00 xterm
tu obtient le Parent process ID (PPID) et tu demande au père de tuer ses process fils :
$ kill -SIGCHLD 41
Un process zombie est un process qui ne sait plus qui est son process père, il ne peut donc pas le prevenir de sa mort prochaine et ne répond pas au signal kill. Par contre, le père sait qui son ses fils, et saura les tuer.
Donc si tu lances galeon depuis un launcher gnome, lui-même lancé par le serveur X, tu peux relancer ton serveur X : "ctrl-alt-backspace" . Cette opération declenchera une cascade de kills, carnage dont ton browser sera victime...
--
Chérie ? chérie : ca va trancher...