Ubuntu 18.04.2 LTS
AMP Instance Manager v188.8.131.52
When changing server port to a different value than
25565 in AMP web interface through Configuration, Minecraft, Server Port Number it does not appear to consistently update the
server.properties file regardless of the Minecraft server running or being fully stopped. If manually set it will keep its value after instance restart but will revert to default once Minecraft server is started.
Steps to reproduce (tested in Firefox and Chrome)
1. Set the desired port value in the Configuration, Minecraft, Server Port Number
2. The Minecraft server is then properly shut down through the AMP web interface.
3. Stop the instance via
ampinstmgr stopinstance and start again, port value reverts back to
25565 in the Configuration, Minecraft, Server Port Number field.
4. Perform 1-3 except manually edit the
server.properties file in addition to Server Port Number.
server.properties will keep its value after instance restart but will update to
25565value in Server Port Number field once Minecraft server is started.
Actions taken to resolve so far:
Manually setting the
server-port= value in the
server.properties file via the editor for File Manager in AMP or through Ubuntu will update the port and allow the server to start on desired port. Have tested with two different instances with Start application on instance start enabled and disabled, both will keep value after restart but will be updated to
25565value in Server Port Number field after starting Minecraft server.