projects / platal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13c3df1) | patch
Kill PHP sessions when a user account is disabled.
authorFlorent Bruneau <florent.bruneau@polytechnique.org>
Thu, 27 Mar 2008 17:40:58 +0000 (18:40 +0100)
committerFlorent Bruneau <florent.bruneau@polytechnique.org>
Thu, 27 Mar 2008 17:40:58 +0000 (18:40 +0100)
commit05d5ce155e474db3f3cd0901f16aac0c3dce48ca
tree7da96e8974cbc3d48a5be1239e2ad3c03eb94aaftree | snapshot
parent13c3df1e76eeeb306dc87c4844f2a2fb014c5b91commit | diff
Kill PHP sessions when a user account is disabled.

This requires a sudo on the kill_sessions script:
www-data ALL=(root) NOPASSWD:/path/to/platal/bin/kill_sessions.sh

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>
bin/kill_sessions.sh [new file with mode: 0755] blob
include/xorg.misc.inc.php diff | blob | blame | history
modules/admin.php diff | blob | blame | history
modules/core.php diff | blob | blame | history
plat/al