On Mon, Dec 11, 2017 at 3:24 PM, Jakob Egger <jakob(at)eggerapps(dot)at> wrote:
> Hi!
>
> There's a problem with the wiki.
>
> When I try to open
> https://wiki.postgresql.org/wiki/Community_Guide_to_PostgreSQL_GUI_Tools
>
> I get the following error:
>
> MediaWiki internal error.
>
> Exception caught inside exception handler.
>
> Set $wgShowExceptionDetails = true; at the bottom of LocalSettings.php to
> show detailed debugging information.
>
>
>
Dumb-a$$ mediawiki sets http 200 for *failures*. So we cache them. Boom.
I've purged the cache of this page, so it now works again. Thanks for the
report.
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>