properly close database on quit
This fixes #263 (closed) by making sure that all threads are stopped when closing a database. This is achieved by introducing two new methods: in UnlockedDatabase
: save_database
and cleanup
. This way all the logic to save or database or prepare it to be closed is moved into one place.
Edited by Jean Felder