356
356
% (rows, exercisepartial))
357
357
filename = cgi.escape(cjson.encode(exercisesrc), quote=True)
358
358
req.write("""\n<div class="exercisebuttons">
359
362
<input type="button" value="Run"
360
363
onclick="runexercise("exercise%d", %s)"
361
364
title="Run this program in the console" />