Better synchronisation for map editor on the server