BaseXdb/basex — pull request #546 by dimitarp (2012-07-20 23:23:19+00:00)
Title: Small fixes + synchronization of DiskValues and IndexCache

The patch set has several small fixes + synchronization of DiskValues and IndexCache. I haven't made performance and multi-threaded tests, so if in doubt, feel free to git-cherry-pick ;)