usec + '</pre></div>';
              console.log("calltractime_usec: " + json.calltractime_usec);
          }
          if (json.hasOwnProperty('calltrace')) {
              var str = JSON.stringify(json.calltrace, null, 2);
              txt = txt + '<div><pre>calltrace: ' + str + '</pre></div>';
              console.log("calltrace: " + json.calltrace);
          }
          if (json.hasOwnProperty('log_stdout')) {
              escapedText = $('<div>').append($('<p>').text('stdout')).append($('<pre>').te