www/monitor.html

   1 <!DOCTYPE html>
   2 <html>
   3 <head>
   4 <meta http-equiv="X-UA-Compatible" content="IE=9">
   5 <meta charset="UTF-8">
   6 <title>pcd2013AdminMonitor</title>
   7 <style type="text/css">
   8         h1, h2, h3 {
   9                 margin:0px;
  10         }
  11         body, textarea {
  12                 font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
  13                 font-size: 14px;
  14                 line-height: 1.2;
  15         }
  16 </style>
  17 <script type="text/javascript" src="./corelib/header.js" charset="UTF-8"></script>
  18 <script type="text/javascript">
  19
  20 var networkManager = null;
  21 var userListBox = null;
  22 var objectListBox = null;
  23 var serverTimeIndicator = null;
  24 var serverTimeStamp = 0;
  25 onload = function() {
  26         //ネットワークマネージャー初期化
  27         networkManager = new NetworkManager();
  28         userListBox = document.getElementsByName("userListText")[0];
  29         objectListBox = document.getElementsByName("objectListText")[0];
  30         serverTimeIndicator = document.getElementById("ts");
  31         window.setInterval(tick, 500);
  32 }
  33
  34 function tick(){
  35         var res = networkManager.sendRequestSync("POST", URL_PCD_Root + "monitor.php", false, null);
  36         if(res){
  37                 retArray = eval(res);
  38                 serverTimeStamp = retArray[0];
  39                 serverTimeIndicator.innerHTML = "ServerTime:" +  serverTimeStamp;
  40                 userListBox.value = "";
  41                 for(var i = 0; i < retArray[1].length; i++){
  42                         userListBox.value += retArray[1][i] + "\n";
  43                 }
  44                 objectListBox.value = "";
  45                 for(var i = 0; i < retArray[2].length; i++){
  46                         objectListBox.value += retArray[2][i] + "\n";
  47                 }
  48         }
  49 }
  50
  51 </script>
  52 </head>
  53 <body>
  54         <h1>pcd2013adminMonitor</h1>
  55         <h2>userList</h2>
  56         <h3 id="ts">ServerTime:</h3>
  57         <textarea name="userListText" cols="64" rows="8"></textarea>
  58         <h2>objectList</h2>
  59         <textarea name="objectListText" cols="64" rows="16"></textarea>
  60 </body>
  61 </html>