Sorry about that.  It appears that Pushpool started to go a bit odd in the early hours of this morning.  A reboot of the server seems to have fixed things.