includes/clientside/static/login.js
changeset 793 c0724bf6039b
parent 780 f65e35566b63
child 794 720516162012
--- a/includes/clientside/static/login.js	Mon Dec 22 21:25:14 2008 -0500
+++ b/includes/clientside/static/login.js	Mon Dec 22 21:26:19 2008 -0500
@@ -1158,3 +1158,25 @@
   var loc = makeUrlNS('Special', 'Administration', 'module=' + namespace_list['Admin'] + 'UserManager&src=get&user=' + ajaxEscape(username));
   window.location = loc;
 }
+
+window.ajaxDynamicReauth = function(adminpage)
+{
+  var old_sid = ENANO_SID;
+  var targetpage = adminpage;
+  ajaxLogonInit(function(k)
+    {
+      var body = document.getElementsByTagName('body')[0];
+      var replace = new RegExp(old_sid, 'g');
+      body.innerHTML = body.innerHTML.replace(replace, k);
+      ENANO_SID = k;
+      if ( targetpage )
+      {
+        mb_current_obj.destroy();
+        ajaxPage(targetpage);
+      }
+    }, USER_LEVEL_ADMIN);
+  ajaxLoginShowFriendlyError({
+      error_code: 'admin_session_timed_out',
+      respawn_info: {}
+  });
+}