张世豪
17 小时以前 a541fbdc8812337de120aad3792a2033a5dd7afe
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);