Re: [Pharo-project] files.pharo.org: Moving to new server

April 18, 2013


      Work like a charm.

On Thu, Apr 18, 2013 at 10:43 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
...
On Apr 18, 2013, at 3:01 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
...
Hi,
We will change the DNS to a new server.
This should be transparent, but of course we never knowâ¦
Stages:
1) Change DNS to point to new server of   (TODAY)
                      files.pharo.org
                      get.pharo.org
                      updates.pharo.org
Success! DNS has propagated (at least to here) and it works.
I should be more reliable and faster.
Marcus
--
Serge Stinckwich
UCBN & UMI UMMISCO 209 (IRD/UPMC)
Every DSL ends up being Smalltalk
http://www.doesnotunderstand.org/