diff options
| author | Clark Gaebel <cgaebel@mozilla.com> | 2014-10-28 10:06:39 -0700 |
|---|---|---|
| committer | Clark Gaebel <cgaebel@mozilla.com> | 2014-10-28 10:06:39 -0700 |
| commit | 14b1c320a68153b186dba05f850623fd577f8214 (patch) | |
| tree | c4579fa60ce9526616486fb15d0b1e7da31bf1ea /components/devtools/lib.rs | |
| parent | 6df1cc8e4c1ed6c4a99435808f7e236eedaed0a1 (diff) | |
| download | servo-14b1c320a68153b186dba05f850623fd577f8214.tar.gz servo-14b1c320a68153b186dba05f850623fd577f8214.zip | |
make naming more consistent
Diffstat (limited to 'components/devtools/lib.rs')
| -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 dc37e5f8d0f..6c756237c30 100644 --- a/components/devtools/lib.rs +++ b/components/devtools/lib.rs @@ -62,7 +62,7 @@ mod protocol; /// Spin up a devtools server that listens for connections on the specified port. pub fn start_server(port: u16) -> Sender<DevtoolsControlMsg> { let (sender, receiver) = comm::channel(); - spawn_named("devtools", proc() { + spawn_named("Devtools", proc() { run_server(receiver, port) }); sender @@ -194,7 +194,7 @@ fn run_server(receiver: Receiver<DevtoolsControlMsg>, port: u16) { Err(_e) => { /* connection failed */ } Ok(stream) => { let actors = actors.clone(); - spawn_named("devtools-client-handler", proc() { + spawn_named("DevtoolsClientHandler", proc() { // connection succeeded handle_client(actors, stream.clone()) }) |