So the same as bug 1534962.
See by comment #5 there. I prefer for suggestion 2 (forbid a port space to be placed there in the first place).
So the same as bug 1534962.
See by comment #5 there. I prefer for suggestion 2 (forbid a port space to be placed there in the first place).