Никто мне не может ответить вот на такой вопрос.

Есть любимый многими менеджер заметок CherryTree. База записок у него хранится либо в одном большом XML-файле, либо в файле БД SQLite.

И многие пользуются для синхронизации своих записок DropBox.

Вопрос. Что происходит, если CherryTree запущен и работает, а DropBox в этот момент меняет файл данных?

- DropBox не сможет поменять файл, пока его держит CherryTree?
- DropBox меняет файл, а CherryTree при последующем сохранении, ничего не зная об изменениях, записывает тупо поверх свои данные и данные, полученные от DropBox теряются?
- CherryTree переодически перечитывает файл данных (например, отслеживает время последнего своего обращения к файла и время изменения файла), и в случе изменения файла внешней программой, перечитывает файл?
- Как-то по-другому ведет себя?