diff options
| author | Delan Azabani <dazabani@igalia.com> | 2023-09-06 17:52:37 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-06 09:52:37 +0000 |
| commit | c3c6c95a9b1fd81d740aa8a300174fbbead8f38c (patch) | |
| tree | caa4ac1773d0cd1e94160cd17abc3f163e94cbde /resources | |
| parent | 1b6351486cb7c61f45f6e3c395e73c1582cddf69 (diff) | |
| download | servo-c3c6c95a9b1fd81d740aa8a300174fbbead8f38c.tar.gz servo-c3c6c95a9b1fd81d740aa8a300174fbbead8f38c.zip | |
constellation: crash to a new “sad tab” error page (#30290)
* constellation: crash to a new “sad tab” page
* check in resources/crash.html
* use a separate enum variant instead of keying on reason
* fmt + tidy
* rename Resource::Crash to Resource::CrashHTML
* clean up crash page and add details (reason + backtrace)
* avoid repeating crash errors in script::script_thread warn log
* make new LoadData init more idiomatic
* clarify comments and new fields
* fix doc comment style
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/crash.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/resources/crash.html b/resources/crash.html new file mode 100644 index 00000000000..fc54ae890c8 --- /dev/null +++ b/resources/crash.html @@ -0,0 +1,8 @@ +<p>Servo crashed!</p> + +<!-- NOTE: unlike in Firefox and Chrome, this reloads POST as GET --> +<!-- see whatwg/html#6600 + whatwg/html#3215 --> +<button onclick="location.reload()">Reload</button> + +<pre><plaintext> +${details} |