diff options
| author | chriskl | 2005-11-13 08:39:49 +0000 |
|---|---|---|
| committer | chriskl | 2005-11-13 08:39:49 +0000 |
| commit | 6f76843fc5b714d21e150da57f1e4afe4f3a5e0a (patch) | |
| tree | f3b4bf2419fda5ab2f7f1cde46897628f63b27f0 | |
| parent | 177f4f5fdbaa6c56f900463790a867b58eb13960 (diff) | |
Always reload the browser after a failed login. This is for if the user changes the password for the account they're logged into. Ideally we'd update the password in their session data as well.
| -rw-r--r-- | libraries/errorhandler.inc.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/errorhandler.inc.php b/libraries/errorhandler.inc.php index 0d35327f..6f17cc45 100644 --- a/libraries/errorhandler.inc.php +++ b/libraries/errorhandler.inc.php @@ -3,7 +3,7 @@ /** * Overrides default ADODB error handler to provide nicer error handling. * - * $Id: errorhandler.inc.php,v 1.19 2005/11/13 08:25:49 chriskl Exp $ + * $Id: errorhandler.inc.php,v 1.20 2005/11/13 08:39:49 chriskl Exp $ */ define('ADODB_ERROR_HANDLER','Error_Handler'); @@ -38,6 +38,8 @@ function Error_Handler($dbms, $fn, $errno, $errmsg, $p1=false, $p2=false) case 'PCONNECT': case 'CONNECT': $_failed = true; + global $_reload_browser; + $_reload_browser = true; unset($_SESSION['sharedUsername']);
unset($_SESSION['sharedPassword']);
unset($_SESSION['webdbLogin'][$_REQUEST['server']]); |