static/ext/src/ux/AceEditor/b339f0b799f23466a9fb3ac92af4cb7e572604a6@/worker.js
function bravojs_print()
{
  var output="";
  var i;
  var stdout;

  for (i=0; i < arguments.length; i++)
    output += arguments[i] + (i===arguments.length - 1 ? "" : " ");
  output.replace(/\t/, "        ");

  if (typeof window.document != "undefined" && (stdout = window.document.getElementById('stdout')))
  {
    output += "\n";

    if (typeof stdout.value !== "undefined")
    {
      stdout.value += output;
      if (stdout.focus)
        stdout.focus();

      if (stdout.tagName === "TEXTAREA")
        stdout.scrollTop = stdout.scrollHeight;
    }
    else
    {
      if (typeof stdout.innerText !== "undefined")
      {
        stdout.innerText = stdout.innerText.slice(0,-1) + output + " "; 	/* IE normalizes trailing newlines away */
      }
      else
        stdout.textContent += output;
    }
  }
  else if (typeof console === "object" && console.print)
  {
    console.print(output);
  }
  else if (typeof console === "object" && console.log)
  {
    console.log(output);
  }
  // WebWorker
  else if (typeof importScripts === "function" && typeof postMessage === "function")
  {
      postMessage({type: "log", data: output});
  }
  else
    alert(" * BravoJS stdout: " + output);
}
function bravojs_print()
{
  var output="";
  var i;
  var stdout;

  for (i=0; i < arguments.length; i++)
    output += arguments[i] + (i===arguments.length - 1 ? "" : " ");
  output.replace(/\t/, "        ");

  if (typeof window.document != "undefined" && (stdout = window.document.getElementById('stdout')))
  {
    output += "\n";

    if (typeof stdout.value !== "undefined")
    {
      stdout.value += output;
      if (stdout.focus)
        stdout.focus();

      if (stdout.tagName === "TEXTAREA")
        stdout.scrollTop = stdout.scrollHeight;
    }
    else
    {
      if (typeof stdout.innerText !== "undefined")
      {
        stdout.innerText = stdout.innerText.slice(0,-1) + output + " "; 	/* IE normalizes trailing newlines away */
      }
      else
        stdout.textContent += output;
    }
  }
  else if (typeof console === "object" && console.print)
  {
    console.print(output);
  }
  else if (typeof console === "object" && console.log)
  {
    console.log(output);
  }
  // WebWorker
  else if (typeof importScripts === "function" && typeof postMessage === "function")
  {
      postMessage({type: "log", data: output});
  }
  else
    alert(" * BravoJS stdout: " + output);
}
function bravojs_print ( ) { var output = "" ; var i ; var stdout ; for ( i = 0 ; i < arguments . length ; i ++ ) output += arguments [ i ] + ( i === arguments . length - 1 ? "" : " " ) ; output . replace ( / \t / , "        " ) ; if ( typeof window . document != "undefined" && ( stdout = window . document . getElementById ( 'stdout' ) ) ) { output += "\n" ; if ( typeof stdout . value !== "undefined" ) { stdout . value += output ; if ( stdout . focus ) stdout . focus ( ) ; if ( stdout . tagName === "TEXTAREA" ) stdout . scrollTop = stdout . scrollHeight ; } else { if ( typeof stdout . innerText !== "undefined" ) { stdout . innerText = stdout . innerText . slice ( 0 , - 1 ) + output + " " ; /* IE normalizes trailing newlines away */ } else stdout . textContent += output ; } } else if ( typeof console === "object" && console . print ) { console . print ( output ) ; } else if ( typeof console === "object" && console . log ) { console . log ( output ) ; } // WebWorker else if ( typeof importScripts === "function" && typeof postMessage === "function" ) { postMessage ( { type : "log" , data : output } ) ; } else alert ( " * BravoJS stdout: " + output ) ; }
Print to text to stdout
Print to text to stdout