Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-24 17:14:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #4233 : driftersprt/servo/BUG-4232, r=jdm

Browse source
This commit is contained in:
bors-servo 2014-12-08 12:58:09 -07:00
commit f11089cda0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/devtools/lib.rs
View file

@ -107,8 +107,8 @@ fn run_server(receiver: Receiver<DevtoolsControlMsg>, port: u16) {
Ok(()) => {}, Ok(()) => {},
Err(()) => { Err(()) => {
println!("error: devtools actor stopped responding"); println!("error: devtools actor stopped responding");
stream.close_read(); let _ = stream.close_read();
stream.close_write(); let _ = stream.close_write();
break 'outer break 'outer
} }
} }