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();
+            }
+        }
     }
 };