On Jan 9, 2008 2:00 AM, Sander Temme <[EMAIL PROTECTED]> wrote:
>
> On Jan 8, 2008, at 3:10 PM, David Sklar wrote:
>
> > Any comments on the patch would be appreciated -- it's wonderful, it's
> > a good solution but could be improved, it's a ridiculous way to solve
> > this problem, etc.
>
> Doesn't setting the global directive:
>
> ServerName https://foo.bar:443
>
> already do what you need?

Indeed it does! Thanks for the tip.

David

Reply via email to