First way:
- Stop server;
- Find
admin@...user
file and remove it; - Manually open json with user you want to make admin and set “isAdmin” to
true
. - Start server;
If there is no “isAdmin”=true users admin from server.properties
files will be created.
administration.https.port=7443
No longer used.