var commandLine;
var updateCommandLine = true;
var pid = 1;
function setCommand(c) {
  if ( ! updateCommandLine) {
    return;
  } 
  commandLine = document.getElementById('commandLine');
  pid++;
  commandLine.innerHTML = '';
  
  
  commandLineAppend(c, pid);
  updateCommandLine = false;
}
function commandLineAppend(c, p) {
  var a = c.substr(0,1);
  var b = c.substr(1);
  
  if (p == pid) {
    commandLine.innerHTML += a;
    window.setTimeout('commandLineAppend("' + b + '", ' + p + ');', 50);
  }
}