Re: [boost] server error on ci.boost.org?

Subject: Re: [boost] server error on ci.boost.org?
From: Dave Abrahams (dave_at_[hidden])
Date: 2013-08-14 08:31:36

on Mon Aug 12 2013, Dave Abrahams <dave-AT-boostpro.com> wrote:

> on Mon Aug 12 2013, Anthony Foiani <tkil-AT-scrye.com> wrote:
>
>> [Sorry for sending this to the dev list, but I didn't see a server
>> admin email address anywhere obvious.  Or I just went right past it,
>> one of the two...]
>>
>> I was searching for something on Google, and one of the hits was on
>> ci.boost.org:
>>
>>     http://ci.boost.org/websvn/filedetails.php?repname=repos+1&path=%2Ftrunk%2Flibs%2Fspirit%2Frepository%2Fexample%2Fqi%2Fderived.cpp&rev=70212&peg=70212
>>     [shortened: http://preview.tinyurl.com/lkvqbo3 ]
>>
>> When I went there, I got the navigation elements, but the actual
>> content was missing, and instead there was a yellow warning box with
>> this message:
>>
>>    Unable to cat file: svn: Can't write to stream: No space left on
>>    device
>>
>> Thought you all might like to know.
>
> Thanks for the heads up.  The disk is indeed full!  I'll try to get that
> fixed ASAP.

Done.  Thanks again.

-- 
Dave Abrahams