diff options
Diffstat (limited to 'resources/crash.html')
| -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} |