Re: CVS SERVER OUT OF SPACE?

[Andreas Mohr]

Hi,

On Tue, Mar 01, 2005 at 03:00:50PM -0600, Jeremy Newman wrote:
> Sorry about that. All fixed now.

The main question is: is it "fixed" or is it "FIXED"?
There's a difference, ya know...

"FIXED" meaning that this will occur never again due to an SNMP alert
infrastructure (or something equally functional) being in place...
(which I'd have assumed to be there already for WineHQ, given the relative
importance of this server)

Or maybe it simply was a temporary hickup/user error despite an alert
infrastructure being in place already? (which thus must have been
non-operational / ignored this time)

Greetings,

Andreas Mohr