phpBB3 bug briefly rendered some vhosts unavailable

Some vhosts were briefly unavailable because of a bug in phpBB3, which was in use by one vhost. That vhost is currently down, but others are available again.