Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Issue #9561 continued - renamed *_thread_source to *_task_source in global.rs and related files

Browse source
This commit is contained in:
Kamil Muszyński 2016-02-17 21:25:12 +01:00
parent 61f09cce4e
commit c6dfd7e2fa
6 changed files with 19 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

10
components/script/dom/websocket.rs
View file

@ -237,7 +237,7 @@ impl WebSocket {
// Step 7.
let ws = WebSocket::new(global, resource_url.clone());
let address = Trusted::new(ws.r(), global.networking_thread_source());
let address = Trusted::new(ws.r(), global.networking_task_source());
let connect_data = WebSocketConnectData {
resource_url: resource_url.clone(),
@ -264,7 +264,7 @@ impl WebSocket {
*ws.sender.borrow_mut() = Some(dom_action_sender);
let moved_address = address.clone();
let sender = global.networking_thread_source();
let sender = global.networking_task_source();
thread::spawn(move || {
while let Ok(event) = dom_event_receiver.recv() {
match event {
@ -307,7 +307,7 @@ impl WebSocket {
};
let global = self.global();
let chan = global.r().networking_thread_source();
let chan = global.r().networking_task_source();
let address = Trusted::new(self, chan.clone());
match data_byte_len.checked_add(self.buffered_amount.get()) {
@ -433,7 +433,7 @@ impl WebSocketMethods for WebSocket {
self.ready_state.set(WebSocketRequestState::Closing);
let global = self.global();
let sender = global.r().networking_thread_source();
let sender = global.r().networking_task_source();
let address = Trusted::new(self, sender.clone());
fail_the_websocket_connection(address, sender);
}
@ -467,7 +467,7 @@ impl Runnable for ConnectionEstablishedTask {
// Step 1: Protocols.
if !self.protocols.is_empty() && self.headers.get::<WebSocketProtocol>().is_none() {
let sender = global.r().networking_thread_source();
let sender = global.r().networking_task_source();
fail_the_websocket_connection(self.addr, sender);
return;
}