wok diff lxdm/stuff/PostLogout @ rev 20932

updated fop (1.0 -> 2.3)
author Hans-G?nter Theisgen
date Sat Mar 02 14:33:42 2019 +0100 (2019-03-02)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lxdm/stuff/PostLogout	Sat Mar 02 14:33:42 2019 +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