BaseXdb/basex — pull request #484 by dimitarp (2012-04-15 00:00:59+00:00)
Title: Concurrency fixes

I dunno why there are duplicate commits... perhaps I did something wrong when merging.... Anyway, the diff is ok, so it should be fine.