Brian Gough a76e0dca88 skip history flush when project is cleared by realtime shutdown ... history is flushed by a background cron job anyway		2019-08-15 09:51:16 +01:00
..
document-updater	skip history flush when project is cleared by realtime shutdown	2019-08-15 09:51:16 +01:00