mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Update xml5ever and html5ever
This commit is contained in:
parent
32ddc420a4
commit
00ac887862
10 changed files with 30 additions and 38 deletions
|
@ -56,7 +56,7 @@ fnv = "1.0"
|
|||
gleam = "0.6"
|
||||
headers-core = "0.0.1"
|
||||
headers-ext = "0.0.3"
|
||||
html5ever = "0.22"
|
||||
html5ever = "0.23"
|
||||
http = "0.1"
|
||||
hyper = "0.12"
|
||||
hyper_serde = "0.9"
|
||||
|
@ -110,7 +110,7 @@ unicode-segmentation = "1.1.0"
|
|||
url = "1.6"
|
||||
utf-8 = "0.7"
|
||||
uuid = {version = "0.7", features = ["v4"]}
|
||||
xml5ever = {version = "0.12"}
|
||||
xml5ever = {version = "0.14"}
|
||||
webrender_api = {git = "https://github.com/servo/webrender", features = ["ipc"]}
|
||||
webvr_traits = {path = "../webvr_traits"}
|
||||
|
||||
|
|
|
@ -40,18 +40,9 @@ impl Tokenizer {
|
|||
}
|
||||
|
||||
pub fn feed(&mut self, input: &mut BufferQueue) -> Result<(), DomRoot<HTMLScriptElement>> {
|
||||
if !input.is_empty() {
|
||||
while let Some(chunk) = input.pop_front() {
|
||||
self.inner.feed(chunk);
|
||||
if let Some(script) = self.inner.sink.sink.script.take() {
|
||||
return Err(script);
|
||||
}
|
||||
}
|
||||
} else {
|
||||
self.inner.run();
|
||||
if let Some(script) = self.inner.sink.sink.script.take() {
|
||||
return Err(script);
|
||||
}
|
||||
self.inner.run(input);
|
||||
if let Some(script) = self.inner.sink.sink.script.take() {
|
||||
return Err(script);
|
||||
}
|
||||
Ok(())
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue