Map size seems reasonable but the other developer might have a bad connection to the server and timed out while mapping.
I recommend saving “Send” often when editing on the map editor, it just takes an extra second to open back up and continue working.
-Zortala :P