diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2014-04-21 12:24:03 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2014-04-24 01:07:52 -0400 |
| commit | be2b983ec199f63f3f6011e1a94b19d517ccda4f (patch) | |
| tree | 2ea1709cf400a1d1b00a75a5927b6f93677333af /src/components/main/pipeline.rs | |
| parent | 3fc2c119103ce743bda53d1ef25c360bc6c713a7 (diff) | |
| download | servo-be2b983ec199f63f3f6011e1a94b19d517ccda4f.tar.gz servo-be2b983ec199f63f3f6011e1a94b19d517ccda4f.zip | |
Make the I Tried star appear when a top-level page load fails for network-related reasons.
Under the hood, this requires treating the I Tried pipeline as a new load instead of a replacement, since the failure-handling code interacts poorly with the rest of the replacement code when we get a series of staggered failures over time from the various pipeline components.
Diffstat (limited to 'src/components/main/pipeline.rs')
| -rw-r--r-- | src/components/main/pipeline.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/components/main/pipeline.rs b/src/components/main/pipeline.rs index 2ed978360ac..2439a73f262 100644 --- a/src/components/main/pipeline.rs +++ b/src/components/main/pipeline.rs @@ -208,6 +208,8 @@ impl Pipeline { } pub fn exit(&self) { + debug!("pipeline {:?} exiting", self.id); + // Script task handles shutting down layout, and layout handles shutting down the renderer. // For now, if the script task has failed, we give up on clean shutdown. let ScriptChan(ref chan) = self.script_chan; |