diff sat_frontends/tools/xmlui.py @ 2722:14e1db0c1383

core (memory/sqlite): further improvments in update_v7: - "info" messages deletion is now done by deactivating foreign keys. This seriously boost performances. - "VACUUM" is done at the end to reduce database size.
author Goffi <goffi@goffi.org>
date Wed, 12 Dec 2018 00:53:14 +0100
parents bdb8276fd2da
children 5c2ed8a5ae22
line wrap: on
line diff