Technically it wasn't a database error, it was an error reported by the database server when some file was unwritable. I'm not sure it's even my file; it was nowhere on my system. Might be a server problem that belongs to the ISP.
We'll see what happens when I try to post this.