Devel server status

[Joel Sherrill]

Looks like it is down. Maybe it had a wild Friday night partying and needs
to sleep. Lol

Seriously, I will ping Amar.

--joel

On Feb 3, 2018 9:21 PM, "William Busacker" <wbusacker at outlook.com> wrote:

> Has anyone else had issues with the devel.rtems.org server?
>
> Been trying to get some new machines setup, but source-builder always
> fails trying to get files from that server. Web browsing always ends up
> with a 503 error as well.
> _______________________________________________
> users mailing list
> users at rtems.org
> http://lists.rtems.org/mailman/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/users/attachments/20180203/0167fb68/attachment-0002.html>