mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Worker now fires errorevent when url fetching failed, fixes #4511
This commit is contained in:
parent
3e7dc57693
commit
61086d6ee5
2 changed files with 34 additions and 1 deletions
|
@ -18,7 +18,7 @@ use dom::bindings::utils::Reflectable;
|
|||
use dom::errorevent::ErrorEvent;
|
||||
use dom::eventtarget::{EventTarget, EventTargetHelpers, EventTargetTypeId};
|
||||
use dom::messageevent::MessageEvent;
|
||||
use dom::worker::{TrustedWorkerAddress, WorkerMessageHandler, Worker};
|
||||
use dom::worker::{TrustedWorkerAddress, WorkerMessageHandler, WorkerEventHandler, Worker};
|
||||
use dom::workerglobalscope::{WorkerGlobalScope, WorkerGlobalScopeHelpers};
|
||||
use dom::workerglobalscope::WorkerGlobalScopeTypeId;
|
||||
use script_task::{ScriptTask, ScriptChan, ScriptMsg, TimerSource};
|
||||
|
@ -146,6 +146,8 @@ impl DedicatedWorkerGlobalScope {
|
|||
let (url, source) = match load_whole_resource(&resource_task, worker_url.clone()) {
|
||||
Err(_) => {
|
||||
println!("error loading script {}", worker_url.serialize());
|
||||
parent_sender.send(ScriptMsg::RunnableMsg(
|
||||
box WorkerEventHandler::new(worker)));
|
||||
return;
|
||||
}
|
||||
Ok((metadata, bytes)) => {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue