tree 7a612264b6a914225efcc1bd369714bd17129b5b
parent b1db0d08054ecc7489804fdb7792a05fc87733ed
author gercan <gercan> 1193594044 +0000
committer gercan <gercan> 1193594044 +0000

[1977599] Server launcher config does not update after server properties change