In the last days I often have to disconnect and reconnect at Nachos server when the map is changing. Last message I see is "Server is changing map ..." and then nothing happens.