identification utilisateurs déconnectés

[jhskm22]

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

[ok.Idriss]

Bonjour.

Ces trois commandes devraient vous aider :

who # les utilisateurs connectés
cat /etc/passwd # liste des utilisateurs
pkill -u nom_user # killer tout les process d'un utilisateur

Il y a peut être plus simple, mais avec ces commandes, vous devriez pouvoir faire un script qui pour chaque utilisateurs déconnectés (dans /etc/passwd mais pas dans la sortie de who) kill tout les process de l'utilisateur.

Cordialement,
Idriss