Change how error page retries work

A simple reload won't work when e.g. the renderer process crashed, so let's try
this instead.

Also, searchFor seemed to be unused.
This commit is contained in:
Florian Bruhin 2017-05-16 07:50:55 +02:00
parent a4021e8e7a
commit 1fcce6d87c

View File

@ -61,10 +61,7 @@ li {
{{ super() }} {{ super() }}
function tryagain() function tryagain()
{ {
location.reload(); location.href = url;
}
function searchFor(uri) {
location.href = uri;
} }
{% endblock %} {% endblock %}