I had to turn the splitters off, again. I underestimated the rate at which we were creating work (damn moveable decimal points!). I thought we could go without adding more space to the database until we had time (tomorrow morning) to delete the old database spaces.
I was wrong, we really zoomed through the files on disk, and we ran out of space. Deleting database spaces is dangerous, so I really want Jeff to check the command script before it gets run. That won’t happen until morning. But once it does we’ll be back in operation.
Hopefully most SETIzens won’t even notice this short absence of work.