diff options
| author | bors-servo <metajack+bors@gmail.com> | 2014-12-08 12:58:09 -0700 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2014-12-08 12:58:09 -0700 |
| commit | f11089cda0564a826ed53949a4b39d519944e28a (patch) | |
| tree | d2e42287276179376aae6e7290722cb96a31440e | |
| parent | 5c506f7a98368020c7936517f1d8e243c9556937 (diff) | |
| parent | d9b59bbec2964b634e34b3b9cf472343fcb2a226 (diff) | |
| download | servo-f11089cda0564a826ed53949a4b39d519944e28a.tar.gz servo-f11089cda0564a826ed53949a4b39d519944e28a.zip | |
auto merge of #4233 : driftersprt/servo/BUG-4232, r=jdm
| -rw-r--r-- | components/devtools/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs index 307c2336f48..bea09a8b3fa 100644 --- a/components/devtools/lib.rs +++ b/components/devtools/lib.rs @@ -107,8 +107,8 @@ fn run_server(receiver: Receiver<DevtoolsControlMsg>, port: u16) { Ok(()) => {}, Err(()) => { println!("error: devtools actor stopped responding"); - stream.close_read(); - stream.close_write(); + let _ = stream.close_read(); + let _ = stream.close_write(); break 'outer } } |