| commit | 9eaf6cc64b840805057aaba99f8cd7a04c129009 | [log] [tgz] |
|---|---|---|
| author | Primiano Tucci <primiano@google.com> | Thu May 14 09:32:40 2020 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu May 14 09:32:40 2020 +0000 |
| tree | 123bc48a0a2c430d5c3e045bfd453bc0af314740 | |
| parent | d8cb80d7a786d4896fd1ac22ff35470187d3a933 [diff] | |
| parent | 9559462faa939cb248556223867ceb6ec64999a8 [diff] |
Merge "Content-type for wasm files in tools/dev_server"
diff --git a/tools/dev_server b/tools/dev_server index fb836b8..331720e 100755 --- a/tools/dev_server +++ b/tools/dev_server
@@ -53,6 +53,7 @@ def __init__(self, *args, **kwargs): SimpleHTTPRequestHandler.__init__(self, *args, **kwargs) + self.extensions_map['.wasm'] = 'application/wasm' def translate_path(self, path): path = SimpleHTTPRequestHandler.translate_path(self, path)