code/static/ajaxterm/ajaxterm.js

   1 ajaxterm={};
   2 ajaxterm.Terminal_ctor=function(id,machine_id) {
   3         var ie=0;
   4         if(window.ActiveXObject)
   5                 ie=1;
   6         var base_path="machine/"+machine_id+"/at";
   7         var query0="";
   8         var query1=query0+"&c=1&k=";
   9         var buf="";
  10         var timeout;
  11         var error_timeout;
  12         var keybuf=[];
  13         var sending=0;
  14         var rmax=1;
  15         var force=true;
  16
  17         var div=document.getElementById(id);
  18         var dstat=document.createElement('pre');
  19         var sled=document.createElement('span');
  20         var opt_color=document.createElement('a');
  21         var opt_paste=document.createElement('a');
  22         var sdebug=document.createElement('span');
  23         var dterm=document.createElement('div');
  24
  25         function debug(s) {
  26                 sdebug.innerHTML=s;
  27         }
  28         function error() {
  29                 sled.className='off';
  30                 debug("Connection lost timeout ts:"+((new Date).getTime()));
  31         }
  32         function opt_add(opt,name) {
  33                 opt.className='off';
  34                 opt.innerHTML=' '+name+' ';
  35                 dstat.appendChild(opt);
  36                 dstat.appendChild(document.createTextNode(' '));
  37         }
  38         function do_color(event) {
  39                 var o=opt_color.className=(opt_color.className=='off')?'on':'off';
  40                 if(o=='on')
  41                         query1=query0+"&c=1&k=";
  42                 else
  43                         query1=query0+"&k=";
  44                 debug('Color '+opt_color.className);
  45         }
  46         function mozilla_clipboard() {
  47                  // mozilla sucks
  48                 try {
  49                         netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");
  50                 } catch (err) {
  51                         debug('Access denied, <a href="http://kb.mozillazine.org/Granting_JavaScript_access_to_the_clipboard" target="_blank">more info</a>');
  52                         return undefined;
  53                 }
  54                 var clip = Components.classes["@mozilla.org/widget/clipboard;1"].createInstance(Components.interfaces.nsIClipboard);
  55                 var trans = Components.classes["@mozilla.org/widget/transferable;1"].createInstance(Components.interfaces.nsITransferable);
  56                 if (!clip || !trans) {
  57                         return undefined;
  58                 }
  59                 trans.addDataFlavor("text/unicode");
  60                 clip.getData(trans,clip.kGlobalClipboard);
  61                 var str=new Object();
  62                 var strLength=new Object();
  63                 try {
  64                         trans.getTransferData("text/unicode",str,strLength);
  65                 } catch(err) {
  66                         return "";
  67                 }
  68                 if (str) {
  69                         str=str.value.QueryInterface(Components.interfaces.nsISupportsString);
  70                 }
  71                 if (str) {
  72                         return str.data.substring(0,strLength.value / 2);
  73                 } else {
  74                         return "";
  75                 }
  76         }
  77         function do_paste(event) {
  78                 var p=undefined;
  79                 if (window.clipboardData) {
  80                         p=window.clipboardData.getData("Text");
  81                 } else if(window.netscape) {
  82                         p=mozilla_clipboard();
  83                 }
  84                 if (p) {
  85                         debug('Pasted');
  86                         queue(encodeURIComponent(p));
  87                 } else {
  88                 }
  89         }
  90         function update() {
  91 //              debug("ts: "+((new Date).getTime())+" rmax:"+rmax);
  92                 if(sending==0) {
  93                         sending=1;
  94                         sled.className='on';
  95                         var r=new XMLHttpRequest();
  96                         var send="";
  97                         while(keybuf.length>0) {
  98                                 send+=keybuf.pop();
  99                         }
 100                         var query=query1+send;
 101                         if (force) {
 102                             query=query+"&force=1";
 103                             force=false;
 104                         }
 105                         r.open("POST",base_path,true);
 106                         r.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
 107                         r.onreadystatechange = function () {
 108 //                              debug("xhr:"+((new Date).getTime())+" state:"+r.readyState+" status:"+r.status+" statusText:"+r.statusText);
 109                                 if (r.readyState==4) {
 110                                         if(r.status==200) {
 111                                                 window.clearTimeout(error_timeout);
 112                                                 de=r.responseXML.documentElement;
 113                                                 if(de.tagName=="pre") {
 114                                                         if(ie) {
 115                                                                 Sarissa.updateContentFromNode(de, dterm);
 116                                                         } else {
 117                                                                 Sarissa.updateContentFromNode(de, dterm);
 118 //                                                              old=div.firstChild;
 119 //                                                              div.replaceChild(de,old);
 120                                                         }
 121                                                         rmax=100;
 122                                                 } else {
 123                                                         rmax*=2;
 124                                                         if(rmax>2000)
 125                                                                 rmax=2000;
 126                                                 }
 127                                                 sending=0;
 128                                                 sled.className='off';
 129                                                 timeout=window.setTimeout(update,rmax);
 130                                         } else {
 131                                                 debug("Connection error status:"+r.status);
 132                                         }
 133                                 }
 134                         }
 135                         error_timeout=window.setTimeout(error,5000);
 136                         r.send(query);
 137                 }
 138         }
 139         function queue(s) {
 140                 keybuf.unshift(s);
 141                 if(sending==0) {
 142                         window.clearTimeout(timeout);
 143                         timeout=window.setTimeout(update,1);
 144                 }
 145         }
 146         function keypress(ev) {
 147                 if (!ev) var ev=window.event;
 148 //              s="kp keyCode="+ev.keyCode+" which="+ev.which+" shiftKey="+ev.shiftKey+" ctrlKey="+ev.ctrlKey+" altKey="+ev.altKey;
 149 //              debug(s);
 150 //              return false;
 151 //              else { if (!ev.ctrlKey || ev.keyCode==17) { return; }
 152                 var kc;
 153                 var k="";
 154                 if (ev.keyCode)
 155                         kc=ev.keyCode;
 156                 if (ev.which)
 157                         kc=ev.which;
 158                 if (ev.altKey) {
 159                         if (kc>=65 && kc<=90)
 160                                 kc+=32;
 161                         if (kc>=97 && kc<=122) {
 162                                 k=String.fromCharCode(27)+String.fromCharCode(kc);
 163                         }
 164                 } else if (ev.ctrlKey) {
 165                         if (kc>=65 && kc<=90) k=String.fromCharCode(kc-64); // Ctrl-A..Z
 166                         else if (kc>=97 && kc<=122) k=String.fromCharCode(kc-96); // Ctrl-A..Z
 167                         else if (kc==54)  k=String.fromCharCode(30); // Ctrl-^
 168                         else if (kc==109) k=String.fromCharCode(31); // Ctrl-_
 169                         else if (kc==219) k=String.fromCharCode(27); // Ctrl-[
 170                         else if (kc==220) k=String.fromCharCode(28); // Ctrl-\
 171                         else if (kc==221) k=String.fromCharCode(29); // Ctrl-]
 172                         else if (kc==219) k=String.fromCharCode(29); // Ctrl-]
 173                         else if (kc==219) k=String.fromCharCode(0);  // Ctrl-@
 174                 } else if (ev.which==0) {
 175                         if (kc==9) k=String.fromCharCode(9);  // Tab
 176                         else if (kc==8) k=String.fromCharCode(127);  // Backspace
 177                         else if (kc==27) k=String.fromCharCode(27); // Escape
 178                         else {
 179                                 if (kc==33) k="[5~";        // PgUp
 180                                 else if (kc==34) k="[6~";   // PgDn
 181                                 else if (kc==35) k="[4~";   // End
 182                                 else if (kc==36) k="[1~";   // Home
 183                                 else if (kc==37) k="[D";    // Left
 184                                 else if (kc==38) k="[A";    // Up
 185                                 else if (kc==39) k="[C";    // Right
 186                                 else if (kc==40) k="[B";    // Down
 187                                 else if (kc==45) k="[2~";   // Ins
 188                                 else if (kc==46) k="[3~";   // Del
 189                                 else if (kc==112) k="[[A";  // F1
 190                                 else if (kc==113) k="[[B";  // F2
 191                                 else if (kc==114) k="[[C";  // F3
 192                                 else if (kc==115) k="[[D";  // F4
 193                                 else if (kc==116) k="[[E";  // F5
 194                                 else if (kc==117) k="[17~"; // F6
 195                                 else if (kc==118) k="[18~"; // F7
 196                                 else if (kc==119) k="[19~"; // F8
 197                                 else if (kc==120) k="[20~"; // F9
 198                                 else if (kc==121) k="[21~"; // F10
 199                                 else if (kc==122) k="[23~"; // F11
 200                                 else if (kc==123) k="[24~"; // F12
 201                                 if (k.length) {
 202                                         k=String.fromCharCode(27)+k;
 203                                 }
 204                         }
 205                 } else {
 206                         if (kc==8)
 207                                 k=String.fromCharCode(127);  // Backspace
 208                         else
 209                                 k=String.fromCharCode(kc);
 210                 }
 211                 if(k.length) {
 212 //                      queue(encodeURIComponent(k));
 213                         if(k=="+") {
 214                                 queue("%2B");
 215                         } else {
 216                                 queue(escape(k));
 217                         }
 218                 }
 219                 ev.cancelBubble=true;
 220                 if (ev.stopPropagation) ev.stopPropagation();
 221                 if (ev.preventDefault)  ev.preventDefault();
 222                 return false;
 223         }
 224         function keydown(ev) {
 225                 if (!ev) var ev=window.event;
 226                 if (ie) {
 227 //                      s="kd keyCode="+ev.keyCode+" which="+ev.which+" shiftKey="+ev.shiftKey+" ctrlKey="+ev.ctrlKey+" altKey="+ev.altKey;
 228 //                      debug(s);
 229                         o={9:1,8:1,27:1,33:1,34:1,35:1,36:1,37:1,38:1,39:1,40:1,45:1,46:1,112:1,
 230                         113:1,114:1,115:1,116:1,117:1,118:1,119:1,120:1,121:1,122:1,123:1};
 231                         if (o[ev.keyCode] || ev.ctrlKey || ev.altKey) {
 232                                 ev.which=0;
 233                                 return keypress(ev);
 234                         }
 235                 }
 236         }
 237         function init() {
 238                 sled.appendChild(document.createTextNode('\xb7'));
 239                 sled.className='off';
 240                 dstat.appendChild(sled);
 241                 dstat.appendChild(document.createTextNode(' '));
 242                 opt_add(opt_color,'Colors');
 243                 opt_color.className='on';
 244                 opt_add(opt_paste,'Paste');
 245                 dstat.appendChild(sdebug);
 246                 dstat.className='stat';
 247                 div.appendChild(dstat);
 248                 div.appendChild(dterm);
 249                 if(opt_color.addEventListener) {
 250                         opt_color.addEventListener('click',do_color,true);
 251                         opt_paste.addEventListener('click',do_paste,true);
 252                 } else {
 253                         opt_color.attachEvent("onclick", do_color);
 254                         opt_paste.attachEvent("onclick", do_paste);
 255                 }
 256                 $('term').onkeypress=keypress;
 257                 $('term').onkeydown=keydown;
 258                 force=true;
 259                 timeout=window.setTimeout(update,100);
 260         }
 261         init();
 262 }
 263 ajaxterm.Terminal=function(id,machine_id) {
 264         return new this.Terminal_ctor(id,machine_id);
 265 }
 266