I'm planning to keep that to me self, due to i think the other pools based on pushpoold will eventually face the same problem.
This issue costed the pool/me personally 10 BTC + a whole day of hard work with debugging, tcpdump and ~10 people that tried in all ways to help us.
So... you won't even tell the author of pushpool?
pushpool certainly cost me a lot more than "10 BTC + a whole day of hard work."
Zip for donations or thanks, just people asking for free support all the time, too.