Ethan -- Here's a new patch that fixes the problem the way we talked about on the phone: saves now only save one section of the hash, so there should never be collisions on the loads. merge_hashes() therefore got deleted.
-- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
dumpfile.patch
Description: Binary data
