Fix a merge issue

This commit is contained in:
Louis Lam 2023-11-20 14:47:58 +08:00
parent e2782810cf
commit 9973d73dd7

View file

@ -0,0 +1,7 @@
-- You should not modify if this have pushed to Github, unless it does serious wrong with the db.
BEGIN TRANSACTION;
UPDATE monitor SET timeout = (interval * 0.8)
WHERE timeout IS NULL OR timeout <= 0;
COMMIT;