Boost logo

Boost :

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.

Done.

> 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.

Thanks,

--Beman


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk