From d6e99cb26980f02cdc6d239a309a6092a9ad59c3 Mon Sep 17 00:00:00 2001
From: Shanil Puri <shanil.puri@gmail.com>
Date: Mon, 17 Nov 2014 00:55:41 -0500
Subject: [PATCH] Spacing changes corrected.

---
 components/devtools/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs
index a6e5b78a55f..af2709ebdc8 100644
--- a/components/devtools/lib.rs
+++ b/components/devtools/lib.rs
@@ -193,7 +193,7 @@ fn run_server(receiver: Receiver<DevtoolsControlMsg>, port: u16) {
             Err(_e) => { /* connection failed */ }
             Ok(stream) => {
                 let actors = actors.clone();
-		accepted_connections.push(stream.clone());
+                accepted_connections.push(stream.clone());
                 spawn_named("DevtoolsClientHandler", proc() {
                     // connection succeeded
                     handle_client(actors, stream.clone())