276
276
# Print this problem out to HTML
277
277
req.write("<p><b>Problem:</b> %s</p>\n" % problemname)
278
278
if problemdesc is not None:
280
280
req.write('<textarea class="problembox" cols="80" rows="12">%s</textarea>'
282
282
filename = cgi.escape(cjson.encode(problemsrc), quote=True)