Ports don't get added back to the list when session is killed

[CPapadim]

After killing a project, the ports don't seem to get added back to the available list (though, they are in fact free). I set 10 ports to be available in the settings, and I can see that as I launch and kill a project repeatedly, it keeps getting launched on the next port every time, until the list runs out, at which point there's an error about no more available ports.

I think an addPort() or similar may be missing somewhere.