On 2018-02-04 03:21 +, William Busacker 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.
Joel wa
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" wrote:
> Has anyone else had issues with the devel.rtems.org server?
>
> Been trying to get some new machines setup, but sourc
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
u
