Portdock usually occupies few (like 4) fields. So I dont think two portdocks (for two ports) would ever overlap completely. The second portdock would be shrinked then a bit. I think even portdock consisting one field would be still sufficient for port's operation...
Really, function find_portdock should not return fields where portdock can not be placed.... -- https://code.launchpad.net/~widelands-dev/widelands/ship_and_portspaces/+merge/285409 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
