Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upDirty parent when removing a child node. #8139
Conversation
highfive
commented
Oct 21, 2015
|
Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @larsbergstrom (or someone else) soon. |
|
r? @Ms2ger or @Manishearth |
|
Reviewed 1 of 1 files at r1. components/script/dom/node.rs, line 337 [r1] (raw file): Comments from the review on Reviewable.io |
|
r=me with that nit |
|
r? @pcwalton |
|
Review status: all files reviewed at latest revision, 1 unresolved discussion, all commit checks successful. components/script/dom/node.rs, line 337 [r1] (raw file): Comments from the review on Reviewable.io |
|
@bors-servo: r+ |
|
|
Dirty parent when removing a child node. In Node::remove_child, dirty both the child and the parent. Fixes #8135 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8139) <!-- Reviewable:end -->
|
Sorry for the reopen noise. For whatever the reason, the builders keep getting stuck on this PR and for the sake of keeping them working on other things, reopening this allows them to do so |
|
@bors-servo r- If there's something wrong with this PR, we should just take it out of the queue. |
|
Easier said than done :-/ |
|
@bors-servo r- force |
|
@bors-servo r- force |
|
@barosl is this a homu bug? |
barosl
commented
Nov 3, 2015
|
Uh, I'm not sure. Did Homu refuse to remove this PR from the queue? That's quite odd. Were there any exceptions raised? |
|
Yes, and no exceptions. This isn't the first time it's happened either. Not sure what the reason is though. |
barosl
commented
Nov 3, 2015
|
It seems that the build results for the linux-rel, mac-rel-css, mac-rel-wpt builders are somehow still regarded as "running", even though they are not shown in the builder status. I guess this confused Homu? Considering all the other builders were OK at the time, there might have been some temporal error on the release mode builders. But it is still strange that |
|
I think this only occurs when there's a running build and we r- it |
barosl
commented
Nov 3, 2015
|
By "running build", do you mean the situation when |
|
Yes. Actually, I think in this case the build wasn't running. Not sure. |
asajeffrey commentedOct 21, 2015
In Node::remove_child, dirty both the child and the parent. Fixes #8135