Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-02 09:39:14 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #26624 - jdm:script-unminify, r=asajeffrey

Browse source 
Use temporary files instead of pipes for JS unminification.

This change allows me to use `--unminify-js` when loading a local Hubs server. Previously there would be multiple hung js-beautifier processes and the page would never make any progress.
This commit is contained in:
bors-servo 2020-05-22 19:20:30 -04:00 • committed by GitHub
commit dde7204756
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 29 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Cargo.lock generated
View file

@ -4726,6 +4726,7 @@ dependencies = [
"style",
"style_traits",
"swapper",
"tempfile",
"tendril",
"time",
"unicode-bidi",