Hi!
Thanks for mentioning this! I have upgraded the server (hoping nobody
would try to access it right now) and accidentally deleted some
files... Everything should work now.
best regards,
Vlad
On Wed, Dec 25, 2013 at 8:34 AM, Elad Gidron wrote:
> Hi,
>
> I failed to install erlide yesterday,
Hi,
I failed to install erlide yesterday,
it seems that the problem is that download.erlide.org redirects to the
wrong IP (see below).
Perhaps this is a DNS problems?
Elad.
$ ping download.erlide.org
PING download.erlide.org (109.74.204.42) 56(84) bytes of data.
64 bytes from shibumi.erlid