diff options
author | Jehan-Guillaume (ioguix) de Rorthais | 2013-04-04 12:48:17 +0000 |
---|---|---|
committer | Jehan-Guillaume (ioguix) de Rorthais | 2013-04-04 13:19:45 +0000 |
commit | 5b5d4ab4ec12bc65f54e85a660f18361162a454c (patch) | |
tree | 690f72a138cf2841e50256aeaac64845a47d1a2c | |
parent | 3f212d646ee7c94efbd2b6b7b7d18450d531e33d (diff) |
Add plugin hook 'logout'.
Allows to perform actions before beeing logged out.
-rw-r--r-- | classes/PluginManager.php | 3 | ||||
-rw-r--r-- | servers.php | 8 |
2 files changed, 7 insertions, 4 deletions
diff --git a/classes/PluginManager.php b/classes/PluginManager.php index 9634b412..794f8c7b 100644 --- a/classes/PluginManager.php +++ b/classes/PluginManager.php @@ -17,7 +17,8 @@ class PluginManager { 'trail', 'navlinks', 'actionbuttons', - 'tree' + 'tree', + 'logout' ); private $actions = array(); private $hooks = array(); diff --git a/servers.php b/servers.php index 746a5c4d..2e6112ef 100644 --- a/servers.php +++ b/servers.php @@ -14,15 +14,17 @@ if (!isset($msg)) $msg = ''; function doLogout() { - global $misc, $lang, $_reload_browser; - + global $misc, $lang, $_reload_browser, $plugin_manager; + + $plugin_manager->do_hook('logout', $_REQUEST['logoutServer']); + $server_info = $misc->getServerInfo($_REQUEST['logoutServer']); $misc->setServerInfo(null, null, $_REQUEST['logoutServer']); unset($_SESSION['sharedUsername'], $_SESSION['sharedPassword']); doDefault(sprintf($lang['strlogoutmsg'], $server_info['desc'])); - + $_reload_browser = true; } |