Sitze hier gerade neben Boehmi und haben es gerade ausprobiert. ps -A haben wir den pid rausgefunden (30906) und haben dan ' kill 30906' eingegeben. Der Nutzer mit diesem TTY war aber immer noch im stande auf dem server etwas zu machen, wurde also nicht ausgeloggt!
Gibts ne andere möglichkeit? "der andere" hängt z.B. an TTY /dev/pts/262
danke für hilfe