694da60659
The previous commit loosened the locking around database updates. Apparently that was not fine - what happens is that parallell updates to the same file for different devices stomp on each others updates to the global index, leaving it missing one of the two devices.