# HG changeset patch # User Sverre Rabbelier # Date 1251581486 25200 # Node ID 17a31a7e6abc67835f8aaedb209b7496f57787ca # Parent b587e25a92bd10fb39a6d6bc6d12a21e90825154 Convert profiler/start page to html diff -r b587e25a92bd -r 17a31a7e6abc app/app_profiler/app_profiler.py --- a/app/app_profiler/app_profiler.py Sat Aug 29 14:30:52 2009 -0700 +++ b/app/app_profiler/app_profiler.py Sat Aug 29 14:31:26 2009 -0700 @@ -176,9 +176,11 @@ def get(self): gp = get_global_profiler() gp.start_profiling() - self.response.headers['Content-Type'] = "text/plain" - self.response.out.write("Started profiling (key: %s).\n" % gp.profile_key) - self.response.out.write("Retrieve saved results at /profiler/show?key=%(key)s).\n" % {'key':gp.profile_key}) + self.response.out.write("") + self.response.out.write("Started profiling (key: %s).
" % gp.profile_key) + self.response.out.write("Retrieve saved results at " + "/profiler/show?key=%(key)s.
" % {'key':gp.profile_key}) + self.response.out.write("") class stop_profiler(webapp.RequestHandler): def get(self):