优化了细节

张世豪

2 天以前 e4b4347318f1f37c64b8055f1f1898da59a167ba

 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);