webgui/docs/upgrades/upgrade_4.0.0-4.0.1.sql

insert into webguiVersion values ('4.0.1','upgrade',unix_timestamp());