I mean, ideally we

1) Wouldn't assume BASE_PORT in two places (the server-manager and here), and
2) Wouldn't assume all server ports are continuous based on ID. Like someone might start a server once, and then stop it, or we might have short-lived game servers. We don't care if the database ID keeps going up in this case, but port numbers are a much more precious resource.

But... It's unlikely to cause issues in the immediate future, at least with the current implementation, so I wouldn't worry about it too much for now.