DEBUG: update server properties works fine. But you cannot update his
hostname for the moment.