DescriptionCall `gzip` in subprocess instead of gzipping in Python in http_server.
Before:
```
$ time wget http://127.0.0.1:59993/spinning_cube.mojo
(...)
real 0m3.987s
user 0m0.001s
sys 0m0.017s
```
After:
```
$ time wget http://127.0.0.1:55035/spinning_cube.mojo
(...)
real 0m1.226s
user 0m0.004s
sys 0m0.014s
```
Fixes domokit/devtools#35.
R=piotrt@google.com
Committed: https://chromium.googlesource.com/external/mojo/+/c1d55465d7c2ce8717b59677d08b430344c31dbd
Patch Set 1 #
Total comments: 2
Patch Set 2 : Address Piotr's comments. #
Total comments: 2
Patch Set 3 : Address Piotr's comments. #
Messages
Total messages: 10 (3 generated)
|