widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

Glad you found the bug!

I think we can differentiate in the write function whether we are in a game or in the editor:

    if (!is_a(Game, &egbase)) {
        // cleanup
    }

This way, we would still have the cleanup for the editor.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1559729-lost_portspace/+merge/289626
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1559729-lost_portspace.