diff options
Diffstat (limited to 'base/server')
-rw-r--r-- | base/server/share/webapps/pki/js/pki-ui.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/base/server/share/webapps/pki/js/pki-ui.js b/base/server/share/webapps/pki/js/pki-ui.js index 9a1d2e593..d4e270601 100644 --- a/base/server/share/webapps/pki/js/pki-ui.js +++ b/base/server/share/webapps/pki/js/pki-ui.js @@ -46,6 +46,22 @@ var PKI = { } return newContent; + }, + logout: function(options) { + options = options || {}; + if (window.crypto && typeof window.crypto.logout === "function") { // Firefox + window.crypto.logout(); + if (options.success) options.success.call(); + + } else { + var result = document.execCommand("ClearAuthenticationCache", false); + if (result) { // IE + if (options.success) options.success.call(); + + } else { // logout not supported + if (options.error) options.error.call(); + } + } } }; |