schroda 673053d291 Migrate preferences only if necessary (#748) ...

Currently, the server tries to migrate the preference on every startup, even if the migration was already done.
This can lead to an unhandled exception, if the write permission to the system preference was revoked.
In case the migration has already happened, these permissions should not be required

2023-11-01 09:19:57 -04:00

..

src

Migrate preferences only if necessary (#748)

2023-11-01 09:19:57 -04:00

build.gradle.kts

Address Build Warnings and Cleanup (#707)

2023-10-15 20:16:30 -04:00