diff options
author | Ms2ger <Ms2ger@gmail.com> | 2015-10-30 15:45:48 +0100 |
---|---|---|
committer | Ms2ger <Ms2ger@gmail.com> | 2015-10-30 15:45:48 +0100 |
commit | 2f8826435173d5e3f66ad06a66f0fae37776bd10 (patch) | |
tree | 0f156eddf10f046c250d08ff2c68ed414e52b33b /components/script/script_task.rs | |
parent | b0841e007e9805ae8905f17d1eda39c700fb7e52 (diff) | |
download | servo-2f8826435173d5e3f66ad06a66f0fae37776bd10.tar.gz servo-2f8826435173d5e3f66ad06a66f0fae37776bd10.zip |
Use if let in ScriptTask::notify_devtools.
Diffstat (limited to 'components/script/script_task.rs')
-rw-r--r-- | components/script/script_task.rs | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/components/script/script_task.rs b/components/script/script_task.rs index 30bb371667b..02046df717e 100644 --- a/components/script/script_task.rs +++ b/components/script/script_task.rs @@ -1656,18 +1656,15 @@ impl ScriptTask { } fn notify_devtools(&self, title: DOMString, url: Url, ids: (PipelineId, Option<WorkerId>)) { - match self.devtools_chan { - None => {} - Some(ref chan) => { - let page_info = DevtoolsPageInfo { - title: title, - url: url, - }; - chan.send(ScriptToDevtoolsControlMsg::NewGlobal( - ids, - self.devtools_sender.clone(), - page_info)).unwrap(); - } + if let Some(ref chan) = self.devtools_chan { + let page_info = DevtoolsPageInfo { + title: title, + url: url, + }; + chan.send(ScriptToDevtoolsControlMsg::NewGlobal( + ids, + self.devtools_sender.clone(), + page_info)).unwrap(); } } |