[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Discuss-gnuradio] gnuradio.org server down right now
|
From: |
Eric Blossom |
|
Subject: |
Re: [Discuss-gnuradio] gnuradio.org server down right now |
|
Date: |
Sun, 30 May 2010 19:19:20 -0700 |
|
User-agent: |
Mutt/1.5.20 (2009-08-17) |
On Fri, May 28, 2010 at 12:50:52PM -0700, Eric Blossom wrote:
> FYI,
>
> The gnuradio.org server is down right now.
> We're working on it. Should be back later on this afternoon.
> Trying to find the real cause, as opposed to just rolling back to the
> latest snapshot.
>
> Eric
>
FYI,
The server's back up.
The primary problem was a directory of session state files that was
growing without bound, that eventually ran us out of inodes.
Eric