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

Fixes #4232

Browse source
This commit is contained in:
Ben Hsu 2014-12-08 22:16:59 +08:00
parent b328c57caa
commit d9b59bbec2
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
} }
} }