Subject: Re: [boost] server error on ci.boost.org?
From: Dave Abrahams (dave_at_[hidden])
Date: 2013-08-15 00:31:30
on Wed Aug 14 2013, Anthony Foiani <tkil-AT-scrye.com> wrote:
> Dave Abrahams <dave_at_[hidden]> writes:
>> on Mon Aug 12 2013, Dave Abrahams <dave-AT-boostpro.com> wrote:
>> > Thanks for the heads up. The disk is indeed full! I'll try to
>> > get that fixed ASAP.
>> Done. Thanks again.
> No problem -- small payback for the use I've gotten out of boost!
> Is it possible that the full disk also caused the lag reported in this
> Or is that a different machine?
Totally separate system, sorry.
-- Dave Abrahams
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk