diff options
Diffstat (limited to 'phpBB/admin')
| -rw-r--r-- | phpBB/admin/admin_users.php | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/phpBB/admin/admin_users.php b/phpBB/admin/admin_users.php index dd23e86f62..e59c93d07d 100644 --- a/phpBB/admin/admin_users.php +++ b/phpBB/admin/admin_users.php @@ -280,6 +280,16 @@ if( $mode == "edit" || $mode == "save" && ( isset($HTTP_POST_VARS['username']) | $error_msg .= $lang['Password_mismatch']; } + if( $user_status == 0 ) + { + // User is (made) inactive. Delete all their sessions. + $sql = "DELETE FROM ". SESSIONS_TABLE ." WHERE session_user_id = $user_id"; + if( !$result = $db->sql_query($sql) ) + { + message_die(GENERAL_ERROR, "Couldn't delete this user's sessions", "", __LINE__, __FILE__, $sql); + } + } + if( $signature != "" ) { $sig_length_check = preg_replace("/(\[.*?)(=.*?)\]/is", "\\1]", stripslashes($signature)); @@ -1131,4 +1141,4 @@ else include('page_footer_admin.'.$phpEx); -?>
\ No newline at end of file +?> |