src/baseStation/BaseStation.java
@@ -75,6 +75,14 @@ return value.trim(); } /** * 更新基站安装坐标并立即持久化到 basestation.properties。 */ public void updateInstallationCoordinates(String newInstallationCoordinates) { this.installationCoordinates = valueOrDefault(newInstallationCoordinates); save(); } private void save() { Properties properties = new Properties(); properties.setProperty("deviceId", deviceId);