Enable server to be started multiple times on different ports