wok diff lxdm/stuff/PostLogout @ rev 23017

updated libcdio libcdio-dev (2.0.0 -> 2.1.0)
author Hans-G?nter Theisgen
date Tue Mar 03 13:41:23 2020 +0100 (2020-03-03)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lxdm/stuff/PostLogout	Tue Mar 03 13:41:23 2020 +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