mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
added pipelines to all task sources
changed task sources to accept pipeline ids
This commit is contained in:
parent
2ffbe53989
commit
52b63def44
20 changed files with 194 additions and 230 deletions
|
@ -1285,7 +1285,7 @@ impl XMLHttpRequest {
|
|||
|
||||
let (task_source, script_port) = if self.sync.get() {
|
||||
let (tx, rx) = global.new_script_pair();
|
||||
(NetworkingTaskSource(tx), Some(rx))
|
||||
(NetworkingTaskSource(tx, global.pipeline_id()), Some(rx))
|
||||
} else {
|
||||
(global.networking_task_source(), None)
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue