Merge commit 'origin/platal-0.10.0'
[platal.git] / bin / kill_sessions.sh
2008-04-04 Aymeric AugustinMerge branch 'master' of /home/git/platal
2008-03-27 Florent BruneauKill PHP sessions when a user account is disabled.