}
// Update listener management
missingDocuments.remove(docPath);
DocumentChecksum checksum = docsChecksums.get(docPath);
if (checksum == null) {
checksum = new DocumentChecksum(docPath);
docsChecksums.put(docPath, checksum);
}
/*
* Potentially bind to null doc, which will set the Checksum
* to represent a missing file (existsFile() == false)
*/
checksum.bind(doc);
checksum.update();
// Sent an checksum to everybody
ChecksumActivity checksumActivity = new ChecksumActivity(
sarosSession.getLocalUser(), checksum.getPath(),
checksum.getHash(), checksum.getLength());
sarosSession.activityCreated(checksumActivity);
} finally {
if (provider != null) {