it would be a nice function to add just as you have the option to update the port of the server, but also to allow editing the IP address of the server.

The reason I would prefer this is so that I do not lose stats of players on my server/s.

Could you please add such functionality to this site? It would really be useful and it would also assist those who might have issues of an IP address already being used on your server that might be now assigned to them from their ISP.

Hope to see such changes soon.

Unfortunately I do not believe there is any easy way to determine if the IP/Port change is of the exact same server.

Just giving this major functionality to any server owner would allow them to change their server to any IP/Port and become an owner of that server, even if it is not theirs. This would also move stats over to servers that may not even be theirs. Giving this option to any user would lead to incredibly vulnerable server pages.