Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 04:53:39 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/components
History
bors-servo c0aa049b0a Auto merge of #9688 - KiChjang:worker-terminate, r=jdm 
Implement Worker#terminate() (fixes #4427).

Adds support for terminating DOM workers. A closing flag was added to
WorkerGlobalScope per the spec.

Rebased #6652, with some comments addressed.
Fixes #4427.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.svg" height="40" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9688)
<!-- Reviewable:end -->
2016-04-08 05:01:18 +05:30
..
canvas Auto merge of #9911 - magni-:dont_use_lookup_tables, r=michaelwu 2016-04-01 23:57:19 +05:30
canvas_traits Auto merge of #10291 - jfhumann:10211, r=emilio 2016-04-01 01:57:20 +05:30
compositing Removed uses of unwrap in compositor. 2016-04-05 17:11:55 -05:00
devtools Use serde in devtools 2016-03-31 11:07:18 +02:00
devtools_traits Use serde in devtools 2016-03-31 11:07:18 +02:00
gfx gfx: When dumping the display list, mention whether each layer scrolls 2016-04-06 17:58:59 -07:00
gfx_traits layout: Allow non-absolutely-positioned elements with overflow: scroll 2016-04-06 17:58:47 -07:00
layout Auto merge of #10402 - mbrubeck:make_mut, r=pcwalton 2016-04-07 23:22:37 +05:30
layout_traits Deny unsafe code in more crates. 2016-03-18 14:43:03 +01:00
msg Added ability to randomly kill pipelines to the constellation. 2016-03-26 09:11:28 -05:00
net Update uuid. 2016-04-07 09:00:22 +02:00
net_traits Auto merge of #10399 - jdm:pb, r=jdm 2016-04-05 17:41:11 +05:30
plugins Bump Rust to 2016-04-06 2016-04-06 14:22:26 +02:00
profile layout: Rewrite the block formatting context/float inline-size 2016-03-25 18:39:16 -07:00
profile_traits use self.0 instead of destructing single item tuple structs 2016-03-27 11:50:08 +01:00
range Deny unsafe code in more crates. 2016-03-18 14:43:03 +01:00
script Auto merge of #9688 - KiChjang:worker-terminate, r=jdm 2016-04-08 05:01:18 +05:30
script_traits Auto merge of #9811 - paulrouget:forceTouch, r=mbrubeck 2016-04-05 21:07:05 +05:30
servo servo: Update WebRender. 2016-04-07 11:59:14 -07:00
style Auto merge of #10438 - KiChjang:text-decoration-fix, r=mbrubeck 2016-04-08 03:39:41 +05:30
style_traits Report memory usage from LayoutThreadData Stylist [#7038] 2016-03-19 11:53:13 -07:00
util Auto merge of #10420 - asajeffrey:add-soft-fail-option, r=KiChjang 2016-04-07 10:48:10 +05:30
webdriver_server Update uuid. 2016-04-07 09:00:22 +02:00