Hi! My name is Cédric Bozzi, I make websites and iOS apps, and this is my blog about technology (mostly a Twitter archive, really).

10 May 2003

Oh—I found confirmation of my Mozilla bug: not only it’s confirmed, but it’s even intentional. Mozilla wantingly disobeys the DNS standards to avoid a vague security risk that I won’t comment, because I’d have to document myself enough to form an opinion. Anyway, there’s a workaround:

For now you can “un-pin” addresses by going offline and back on (via the file menu or the plug icon in the status bar) (oh, so that’s what this icon is for).

So, if you intend to access a site through dyndns.org (or similar) and it quits responding, try this method. I haven’t had an opportunity to test it yet, but it seems sound. And at least it’s simpler than restarting Mozilla.

P.S. A dozen hours later, I can verify it. Just double-click the icon in the lower right corner, and the dyndns sites work again. To think that this bug has been know for something like six months…

Archives

2001 01 02 03 04 05 06 07 08 09 10 11 12

2002 01 02 03 04 05 06 07 08 09 10 11 12

2003 01 02 03 04 05 06 07 08 09 10 11 12

2004 01 02 03 04 05 06 07 08 09 10 11 12

2005 01 02 03 04 05 06 07 08 09 10 11 12

2006 01 02 03 04 05 06 07 08 09 10 11 12

2007 01 02 03 04 05 06 07 08 09 10 11 12

2008 01 02 03 04 05 06 07 08 09 10 11 12

2009 01 02 03 04 05 06 07 08 09 10 11 12

2010 01 02 03 04 05 06 07 08 09 10 11 12

2011 01 02 03 04 05 06 07 08 09 10 11 12

2012 01 02 03 04 05 06 07 08 09 10 11 12

2013 01 02 03 04 05 06 07 08 09 10 11 12

2014 01 02 03 04 05 06 07 08 09 10 11 12

2015 01 02 03 04 05 06 07 08 09 10 11 12

2016 01 02 03 04 05 06 07 08 09 10 11 12

2017 01 02 03 04 05 06 07 08 09 10 11 12

2018 01 02 03 04 05 06 07 08 09 10 11 12

2019 01 02 03 04 05 06 07 08 09 10 11 12