diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2016-07-21 12:04:18 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2016-07-21 12:07:25 +0530 |
| commit | ceb85795b1feed53121f9683cc34d2fd76cef761 (patch) | |
| tree | 5fe1a6f4265ca1bbd4be73d96777313957a962ff /components/script/dom/userscripts.rs | |
| parent | 20b1764d71a967ee4a355cd1b55e4250fe5f59a9 (diff) | |
| download | servo-ceb85795b1feed53121f9683cc34d2fd76cef761.tar.gz servo-ceb85795b1feed53121f9683cc34d2fd76cef761.zip | |
Use Result instead of panicking when the resource dir can't be found
Diffstat (limited to 'components/script/dom/userscripts.rs')
| -rw-r--r-- | components/script/dom/userscripts.rs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/components/script/dom/userscripts.rs b/components/script/dom/userscripts.rs index 25490fb7726..e1c071e83c7 100644 --- a/components/script/dom/userscripts.rs +++ b/components/script/dom/userscripts.rs @@ -24,9 +24,12 @@ pub fn load_script(head: &HTMLHeadElement) { let doc = doc.r(); let path = if &**path_str == "" { - let mut p = resources_dir_path(); - p.push("user-agent-js"); - p + if let Ok(mut p) = resources_dir_path() { + p.push("user-agent-js"); + p + } else { + return + } } else { PathBuf::from(path_str) }; |