Function safeRenderJSON

lib/web/output.js:7–25

(text)

}

function safeRenderJSON(text)
{
    try{
        console.log(" about to safe render json for text :")
        text = text.substring("<json>".length)
        console.log(text)
        var tt = eval("renderjson.set_show_to_level(1)("+text+")")

        console.log(" safe render succeeded with :")
        console.log(tt)
        return tt
    }
    catch(e)
    {
        console.log(" safe render failed ")
        console.log(e)
        return text.length>1000 ? text.substring(0, 1000)+" ... " : text
    }
}

if (!String.prototype.startsWith) {
    String.prototype.startsWith = function(searchString, position){