aboutsummaryrefslogtreecommitdiffstats
path: root/components/script/script_task.rs
diff options
context:
space:
mode:
authorMs2ger <Ms2ger@gmail.com>2015-10-30 15:45:48 +0100
committerMs2ger <Ms2ger@gmail.com>2015-10-30 15:45:48 +0100
commit2f8826435173d5e3f66ad06a66f0fae37776bd10 (patch)
tree0f156eddf10f046c250d08ff2c68ed414e52b33b /components/script/script_task.rs
parentb0841e007e9805ae8905f17d1eda39c700fb7e52 (diff)
downloadservo-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.rs21
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();
}
}