Lines Matching full:logs
62 var logs = JSON.parse('$logs');
63 logs[gcount] = "";
148 $$("#lcomment").html(logs[index]);
157 $$("#rcomment").html(logs[index]);
165 var opt = "<option value='" + i + "'>loop" + i + " -- " + logs[i] + "</option>";
228 def write_html(expr, gcount, logs): argument
229 logs = map(lambda s: s.strip().replace("\n", "<br/>"), logs)
232 …safe_substitute(expr=expr.encode("string-escape"), gcount=gcount, logs=json.dumps(logs).encode("st…
242 logs = []
270 logs.append(log)
282 write_html(expr, gid - 1, logs)