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.
_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to : [email protected]
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp
