| commit | 1bb7758f4de6d46018fef279e0951583841bda60 | [log] [tgz] |
|---|---|---|
| author | Hector Dearman <hjd@google.com> | Mon Feb 24 16:18:00 2020 +0000 |
| committer | Hector Dearman <hjd@google.com> | Mon Feb 24 16:18:00 2020 +0000 |
| tree | 40da11ced32d438bc7b4251983f302120aeef51f | |
| parent | 8c5bd85a9ac22e87974b20c7003f4a236bcc1dba [diff] |
ui: Fix formatting of dev_server errors Change-Id: Ida595863f5505f8c259cec52dad2c59cfe6607ba
diff --git a/tools/dev_server b/tools/dev_server index bd74df7..fb836b8 100755 --- a/tools/dev_server +++ b/tools/dev_server
@@ -68,6 +68,7 @@ self.send_response(200) self.send_header("Content-type", "text/html") self.end_headers() + self.wfile.write("<pre>") self.wfile.write(e.stdout_and_stderr) return return SimpleHTTPRequestHandler.do_GET(self)