You should add a function to directly edit the text of the server.properties file, not just redirect to the options page. When you click on the options tab, it shows the GUI, but when you click on the server.properties file in the Files seciton, you can directly edit the text of the file.
Posts by burgersarefat
The Aternos forums are now deprecated
Learn more about this change here.
For help regarding Aternos, we recommend you to visit our support center.