I was having trouble with my servers not showing up in the webui. After a google search, I found that deleting the server.properties file would fix it, and sure enough it did.
It seems that if even one of your servers properties files is encoded in ANSI then ALL servers will disappear from the webui. Sometimes they might not disappear, but the properties will no longer be editable.
Wanting to find out why this happened, and knowing that I had recently edited the file with the Webmin Text Editor, I went about looking at the file before and after. All of the property settings IN the file were fine, but further searching the file properties showed that it was now encoded in ANSI rather than UTF.
Is there a way to configure Webmin to ALWAYS use UTF? And if so, could this be default setting in MineOS?
Unfortunately, I was unable to reproduce your results. Are you able to provide more specific details on the steps you took?
Just now I tried the following:
root@core servers/zing# ls -la | grep server.properties
-rw-rw-rw- 1 mc mc 656 Oct 30 18:29 server.properties
root@core servers/zing# file server.properties
server.properties: ASCII text
root@core servers/zing# ls -la | grep server.properties
-rw-rw-rw- 1 mc mc 657 Oct 30 18:30 server.properties
root@core servers/zing# file server.properties
server.properties: ASCII text
At 18:30, I made a change via Webmin, by entering /var/games/minecraft/servers/zing/server.properties into the Webmin Text Editor. After changing a true to false, we see the file save succeed and increase the filesize by one byte. However, in all cases, I still see the file is detected as ASCII encoded, and not UTF or ANSI.
Before and after, the server shows without issue in the web-ui. What other changes might you have made that could have caused this behavior?