Nous sommes sur un serveur linux avec systéme opératoire GNU/Linux
Nous avons certains utilisateurs qui perdent leur connection et alors les process restent sur le serveur. Aprés 1h30 ces process sont automatiquement enlevés de la machine via time-out standard.
J'aimerais pouvoir faire le kill de ces process plus tôt.
j'ai essayé la commande ps -ef | grep <user> mais pas de diffèrence entre un utilisateur normal et un sans connection.
j'ai essayé la commande ls -l /dev/pts/2 l'heure est l'heure de débu de la connection pas du dernier échange avec le device.
j'ai essayé last mais alors le process est renseigné comme "still log in".

Pouvez-vous m'aider ?
On doit bien avoir un loging sur le serveur qui donne les devices avec perte de connection. Le systéme le fait bien après 1h30 mais sur quel critères ?
Je veux pas dimuner non plus le time-out général sur le serveur.

A+
jean-pol