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
On Fri, May 28, 2010 at 12:50:52PM -0700, Eric B. 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