Subject: Re: [boost] Migrating www.boost.org to another server
From: Beman Dawes (bdawes_at_[hidden])
Date: 2013-05-24 16:32:56
On Fri, May 24, 2013 at 4:24 PM, DongInn Kim <dikim_at_[hidden]> wrote:
> Hi Beman,
>> Should boost.org and www2.boost.org also be switched?
> Thanks for asking this but I was not sure what other services are using boost.org.
> I just double checked it and I confirm that there are no other services using the "boost.org" hostname but the web service.
> It would be safe to switch boost.org too.
> But we have not moved www2.boost.org yet. So please do not switch www2.boost.org yet.
> BTW, I think Daniel mentioned that you guys may want to remove it.
I'm not sure what its purpose is, so I'll let Daniel decide that one.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk