Private/manual.html

   1 <html>
   2 <head>
   3 <title>
   4         Private data
   5 </title>
   6 <script type="text/javascript">
   7 function createCookie(name,value,days,path) {
   8         if (days) {
   9                 var date = new Date();
  10                 date.setTime(date.getTime()+(days*24*60*60*1000));
  11                 var expires = "; expires="+date.toGMTString();
  12         }
  13         else var expires = "";
  14         var match = document.cookie.match('/('+name+'\=[^\;]*\);/');
  15         if(match)
  16                 document.cookie = document.cookie.replace(match[1], name+"="+value);
  17         else
  18                 document.cookie = name+"="+value+expires+"; path=/"+path;
  19 };
  20
  21 function readCookie(name) {
  22         var nameEQ = name + "=";
  23         var ca = document.cookie.split(';');
  24         for(var i=0;i < ca.length;i++) {
  25                 var c = ca[i];
  26                 while (c.charAt(0)==' ') c = c.substring(1,c.length);
  27                 if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
  28         }
  29         return null;
  30 };
  31
  32 function eraseCookie(name) {
  33         createCookie(name,"",-1);
  34 };
  35
  36 function add_cgiparam(elem, attr, param) {
  37     var elems = document.getElementsByTagName(elem);
  38     for (var i = 0; i < elems.length; i++)
  39     {
  40                 var n=elems[i][attr].indexOf("?");
  41                 if(n<0)
  42                         elems[i][attr] = elems[i][attr] + "?" + param;
  43                 else
  44                         elems[i][attr] = elems[i][attr] + "&" + param;
  45     };
  46 };
  47
  48 function setSessionParameters() {
  49         var sessionset = readCookie("CGIscriptorSESSION");
  50         if(!(sessionset && sessionset.match(/[\S]/)))return false;
  51
  52         var sessionticket = "";
  53         sessionticket = localStorage.getItem("CGIscriptorPRIVATE");
  54         createCookie("CGIscriptorSESSION",sessionticket, 1, "Private");
  55         var sessionparm = document.getElementById('SESSIONTICKET');
  56         if(sessionparm) sessionparm.value = sessionticket;
  57
  58         // Without cookies, use this
  59         // add_cgiparam('a', 'href', "SESSIONTICKET="+sessionticket);
  60         // add_cgiparam('form', 'action', "SESSIONTICKET="+sessionticket);
  61         return true;
  62 };
  63 function setChallengeParameters() {
  64         var sessionset = readCookie("CGIscriptorCHALLENGE");
  65         if(!(sessionset && sessionset.match(/[\S]/)))return false;
  66
  67         var sessionticket = "";
  68         sessionticket = localStorage.getItem("CGIscriptorPRIVATE");
  69
  70         createCookie("CGIscriptorCHALLENGE",sessionticket, 1, "Private");
  71         var sessionparm = document.getElementById('CHALLENGETICKET');
  72         if(sessionparm) sessionparm.value = sessionticket;
  73
  74         // Without cookies, use this
  75     // add_cgiparam('a', 'href', "CHALLENGETICKET="+sessionticket);
  76     // add_cgiparam('form', 'action', "CHALLENGETICKET="+sessionticket);
  77         return true;
  78 };
  79
  80 window.onload = function() {
  81         var challengeSet = setChallengeParameters();
  82         if(! challengeSet)
  83                 setSessionParameters();
  84         return true;
  85 };
  86
  87
  88 </script>
  89 </head>
  90 <body>
  91 <p ALIGN=RIGHT><a href="?LOGOUT">Logout</a></p>
  92 <p ALIGN=RIGHT><a href="ChangePassword.html">Change Password</a></p>
  93 <h1 align=CENTER>Manual</h1>
  94 <p align=CENTER>Logged in from <script type="text/ssperl" CGI='$LOGINIPADDRESS="" $LOGINPATH=""'>"$LOGINIPADDRESS $LOGINPATH"</script></p>
  95 <p align=CENTER><form method=GET action="index.html">
  96         <p align=CENTER><input type="submit" value="Go back to home page" /></p>
  97         <input type="hidden" name="SESSIONTICKET" id="SESSIONTICKET" value="" />
  98         <input type="hidden" name="CHALLENGETICKET" id="CHALLENGETICKET" value="" /><br />
  99         </form>
 100         </p>
 101
 102
 103
 104 </body>
 105 </html>