mirror of
https://github.com/servo/servo.git
synced 2025-08-04 21:20:23 +01:00
Spacing changes corrected.
This commit is contained in:
parent
fc7b3699ed
commit
d6e99cb269
1 changed files with 1 additions and 1 deletions
|
@ -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())
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue