diff options
author | bors-servo <release+servo@mozilla.com> | 2014-03-20 10:58:36 -0400 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2014-03-20 10:58:36 -0400 |
commit | 831712206865e2c0516009b16e2ac60f754dd1a8 (patch) | |
tree | cd83699b72467929a42f98c75158104a4f860136 /src/components/script/html | |
parent | 2fb8c84baceee09c2127898cd7f9d3a8e0011cce (diff) | |
parent | 0fccf5e386d2a7d98dfcbaf5b4871fd7d93e887d (diff) | |
download | servo-831712206865e2c0516009b16e2ac60f754dd1a8.tar.gz servo-831712206865e2c0516009b16e2ac60f754dd1a8.zip |
auto merge of #1864 : saneyuki/servo/split_cast_to, r=jdm
fix #1836
Diffstat (limited to 'src/components/script/html')
-rw-r--r-- | src/components/script/html/hubbub_html_parser.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/components/script/html/hubbub_html_parser.rs b/src/components/script/html/hubbub_html_parser.rs index 34cbd08a59b..1d07c4228d4 100644 --- a/src/components/script/html/hubbub_html_parser.rs +++ b/src/components/script/html/hubbub_html_parser.rs @@ -369,7 +369,7 @@ pub fn parse_html(page: &Page, ElementNodeTypeId(HTMLIFrameElementTypeId) => { let iframe_chan = discovery_chan.clone(); let mut iframe_element: JS<HTMLIFrameElement> = - HTMLIFrameElementCast::to(&element); + HTMLIFrameElementCast::to(&element).unwrap(); let sandboxed = iframe_element.get().is_sandboxed(); let elem: JS<Element> = ElementCast::from(&iframe_element); let src_opt = elem.get().get_attribute(Null, "src").map(|x| x.get().Value()); @@ -475,7 +475,7 @@ pub fn parse_html(page: &Page, debug!("iterating over children {:?}", scriptnode.first_child()); for child in scriptnode.children() { debug!("child = {:?}", child); - let text: JS<Text> = TextCast::to(&child); + let text: JS<Text> = TextCast::to(&child).unwrap(); data.push(text.get().characterdata.data.to_str()); // FIXME: Bad copy. } @@ -494,7 +494,7 @@ pub fn parse_html(page: &Page, debug!("iterating over children {:?}", style.first_child()); for child in style.children() { debug!("child = {:?}", child); - let text: JS<Text> = TextCast::to(&child); + let text: JS<Text> = TextCast::to(&child).unwrap(); data.push(text.get().characterdata.data.to_str()); // FIXME: Bad copy. } |