2023-12-06 13:23:21 +01:00
|
|
|
DO $$DECLARE
|
2024-02-21 17:37:24 +01:00
|
|
|
this_version CONSTANT varchar := '00.01.042';
|
2023-12-06 13:23:21 +01:00
|
|
|
BEGIN
|
|
|
|
PERFORM * FROM "DBVersion" WHERE version = this_version;
|
|
|
|
IF FOUND THEN RETURN; END IF;
|
|
|
|
|
|
|
|
ALTER TABLE public.usersettings
|
|
|
|
RENAME TO "UserSettings";
|
|
|
|
|
2024-02-21 17:37:24 +01:00
|
|
|
INSERT INTO public."DBVersion" VALUES ('DMPDB', '00.01.042', '2023-12-06 12:00:00.000000+02', now(), 'Rename usersettings Table to UserSettings.');
|
2023-12-06 13:23:21 +01:00
|
|
|
|
|
|
|
END$$;
|