Comment modifier server.properties sans casser le serveur ?
Arrêter le serveur, modifier les clés utiles et vérifier les valeurs régénérées au démarrage.
Procédure étape par étape
-
Arrêter proprement
Envoyez stop dans la console et attendez l’état hors ligne avant d’ouvrir le fichier.
-
Créer une sauvegarde
Dupliquez server.properties avant de modifier plusieurs paramètres.
-
Respecter le format
Gardez une seule clé par ligne, sans espace autour de =. Utilisez true ou false en minuscules.
-
Redémarrer et relire
Démarrez le serveur puis vérifiez le fichier et la console pour confirmer que les valeurs ont été acceptées.