Lukas Wirth 2a8ea089bf fix: Restart the server instead of reloading the window when config changes		2022-06-05 13:29:08 +02:00
..
code	fix: Restart the server instead of reloading the window when config changes	2022-06-05 13:29:08 +02:00