Changeset 17711 for trunk/FACT++
- Timestamp:
- 04/28/14 12:17:05 (11 years ago)
- Location:
- trunk/FACT++/www/viewer
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/www/viewer/index.html
r17703 r17711 73 73 <div id="textcontainer2"> 74 74 <textarea id="editor2" name="editor2" type="textarea"> 75 print(" test\n2nd line\n");75 print("This output will go to the Console.\n"); 76 76 77 77 // The four first values of pixel 1 78 78 var arr = [ $.data[1][0], $.data[1][1], $.data[1][2], $.data[1][3] ]; 79 print(" return[ "+arr+" ]\n");79 print("Pixel 1: [ "+arr+" ]\n"); 80 80 81 81 // Get the maximum sample from each pixel -
trunk/FACT++/www/viewer/index.js
r17700 r17711 321 321 function onDataReceived(rc) 322 322 { 323 var err = document.getElementById("error"); 323 324 var dbg = document.getElementById("debug"); 325 var con = document.getElementById("console"); 324 326 325 327 var pre = document.createElement("pre"); … … 343 345 el.appendChild(document.createTextNode(rc.event.numEvents)); 344 346 345 if (rc.timeJs) 346 { 347 var err = document.getElementById("error"); 347 if (rc.ret) 348 { 349 while (con.lastChild) 350 con.removeChild(con.lastChild); 351 } 352 353 if (rc.err) 354 { 348 355 while (err.lastChild) 349 356 err.removeChild(err.lastChild); 350 357 351 $("#accordion").accordion("option", "active", false);352 $("#accordion").find('h3').filter(':contains(Runtime)').hide();353 354 var con = document.getElementById("console");355 while (con.lastChild)356 con.removeChild(con.lastChild);357 }358 359 360 if (rc.err)361 {362 358 err.appendChild(document.createTextNode("Javascript runtime exception: "+rc.err.file+":"+rc.err.lineNumber)); 363 359 err.appendChild(document.createTextNode("\n")); … … 524 520 dbg.removeChild(dbg.lastChild); 525 521 522 var active = $("#accordion").accordion("option", "active"); 523 if (active==0) 524 { 525 $("#accordion").accordion("option", "active", false); 526 $("#accordion").find('h3').filter(':contains(Runtime)').hide(); 527 } 528 526 529 var event = document.getElementById("event").value; 527 530 var pixel = document.getElementById("pixel").value; … … 531 534 var uri = "file="+file+"&event="+event+"&pixel="+map[pixel]; 532 535 uri += "&source1="+encodeURIComponent(source1); 533 uri += "&source2="+encodeURIComponent(source2); 536 if (!pixelOnly) 537 uri += "&source2="+encodeURIComponent(source2); 534 538 535 539 $.ajax({
Note:
See TracChangeset
for help on using the changeset viewer.