diff options
| author | Alan Jeffrey <ajeffrey@mozilla.com> | 2015-11-10 15:40:10 -0600 |
|---|---|---|
| committer | Alan Jeffrey <ajeffrey@mozilla.com> | 2015-11-12 17:52:58 -0600 |
| commit | 5101506089718b11bb1092c2356d911e16439707 (patch) | |
| tree | 746a965761e1ead521c6a8e0c40aef9eff16b8c5 /components/script/dom/worker.rs | |
| parent | 9cbc4393eb61bfe46ef1d8868a0ab32fa64c0985 (diff) | |
| download | servo-5101506089718b11bb1092c2356d911e16439707.tar.gz servo-5101506089718b11bb1092c2356d911e16439707.zip | |
Replaced DOMString by String in devtools.
Diffstat (limited to 'components/script/dom/worker.rs')
| -rw-r--r-- | components/script/dom/worker.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/worker.rs b/components/script/dom/worker.rs index 2102b9b6969..0ab8b3a323d 100644 --- a/components/script/dom/worker.rs +++ b/components/script/dom/worker.rs @@ -85,7 +85,7 @@ impl Worker { let pipeline_id = global.pipeline(); let title = format!("Worker for {}", worker_url); let page_info = DevtoolsPageInfo { - title: DOMString(title), + title: title, url: worker_url.clone(), }; chan.send(ScriptToDevtoolsControlMsg::NewGlobal((pipeline_id, Some(worker_id)), |