wok-current diff lxdm/stuff/PostLogout @ rev 25409

updated whois (5.5.6 -> 5.5.13)
author Hans-G?nter Theisgen
date Wed Aug 03 17:56:22 2022 +0100 (2022-08-03)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lxdm/stuff/PostLogout	Wed Aug 03 17:56:22 2022 +0100
     1.3 @@ -0,0 +1,8 @@
     1.4 +#!/bin/sh
     1.5 +#
     1.6 +
     1.7 +# LXDM does not clear the last user's processes.
     1.8 +ps -o "user,pid" | fgrep $USER | while read user pid
     1.9 +do
    1.10 +	kill $pid
    1.11 +done