From d9b59bbec2964b634e34b3b9cf472343fcb2a226 Mon Sep 17 00:00:00 2001
From: Ben Hsu <driftersprt@gmail.com>
Date: Mon, 8 Dec 2014 22:16:59 +0800
Subject: [PATCH] Fixes #4232

---
 components/devtools/lib.rs | 4 ++--
 1 file 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
                         }
                     }