From d60f7d87c8145eb0b573e5a9b0108532aab47dc8 Mon Sep 17 00:00:00 2001
From: Kunal Mohan <kunalmohan99@gmail.com>
Date: Tue, 10 Dec 2019 13:09:45 +0530
Subject: [PATCH] Undo changes done to change worker_id type to string

---
 components/devtools/lib.rs                 | 2 +-
 components/script/serviceworker_manager.rs | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs
index cc37ed7c4b0..63e4c7aea15 100644
--- a/components/devtools/lib.rs
+++ b/components/devtools/lib.rs
@@ -307,7 +307,7 @@ fn run_server(
             let worker = WorkerActor {
                 name: actors.new_name("worker"),
                 console: console.name(),
-                id: id.clone(),
+                id: id,
             };
             actor_workers.insert((pipeline, id), worker.name.clone());
             actors.register(Box::new(worker));
diff --git a/components/script/serviceworker_manager.rs b/components/script/serviceworker_manager.rs
index 4323ef45f59..109628ae94e 100644
--- a/components/script/serviceworker_manager.rs
+++ b/components/script/serviceworker_manager.rs
@@ -98,9 +98,8 @@ impl ServiceWorkerManager {
                     title: title,
                     url: scope_things.script_url.clone(),
                 };
-                let worker_id = scope_things.worker_id.clone();
                 let _ = chan.send(ScriptToDevtoolsControlMsg::NewGlobal(
-                    (scope_things.init.pipeline_id, Some(worker_id)),
+                    (scope_things.init.pipeline_id, Some(scope_things.worker_id)),
                     devtools_sender,
                     page_info,
                 ));