Thijs Kinkhorst wrote...
> Hello Christoph,
>
> On Fri, 2006-06-02 at 08:58 +0200, Christoph Biedl wrote:
> > A full restart of apache2 solves the problem. Perhaps a(nother?) reload
> > might do the trick, too.
>
> We currently do not reload Apache,
I stand corrected.
> while doing a simple reload would solve the problem. I'll discuss this
> with Jeroen to see if there's any drawback involved in doing that.
Consider this a wishlist priority bug report then. I cannot see any
reasons why _not_ to issue such a reload command. For example, mediawiki
does this, too.
Christoph
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
