wok diff lxdm/stuff/PostLogout @ rev 22574

updated bzflag (2.4.0 -> 2.4.18)
author Hans-G?nter Theisgen
date Mon Jan 06 15:51:49 2020 +0100 (2020-01-06)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lxdm/stuff/PostLogout	Mon Jan 06 15:51:49 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