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