I was just trying to look up a local place on Google Maps, and
found that the page wouldn't render any more. So I investigated,
and it turns out to be a combination of two problems:
- Dillo now follows instant meta-refresh commands, instead of
letting the user decide.
- Google Maps redirects to a 'mobile' version of the site,
which fails to recognize Dillo's user-agent string and
returns WML instead of HTML. (I sent them info about this
bug a few moments ago; hopefully they'll fix it)
Would it be possible to make that first one optional? Maybe a
config variable or something? I liked the old behavior much
better.
The change was introduced here:
changeset: 1037:a72e5506e280
user: Jorge Arellano Cid <jcid(a)dillo.org>
date: Sat Apr 18 16:16:18 2009 -0400
summary: Implemented Instant client-side redirects (META
refresh with delay=0)
For now, I've been building with this small patch:
--- a/src/html.cc Wed Apr 07 22:07:07 2010 +0000
+++ b/src/html.cc Wed Apr 14 19:15:12 2010 -0600
@@ -2883,7 +2883,7 @@
mr_url = dStrdup(content);
}
- if (delay == 0) {
+ if (0) {
/* zero-delay redirection */
html->stop_parser = true;
DilloUrl *new_url = a_Url_new(mr_url, URL_STR(html->base_url));
-- Scott
