Method writeListJSON

src/main/java/mudmap2/backend/WorldFileList.java:246–289

Write JSON-formatted history file @param file

(File file)

     * @param file
     */
    private static void writeListJSON(File file){
        if(!file.exists() || file.canWrite()){
            BufferedWriter writer = null;

            // create parent directories
            File parentDir = file.getParentFile();
            if(!parentDir.exists()){
                parentDir.mkdirs();
            }

            try {
                writer = new BufferedWriter(new FileWriter(file));
            } catch (IOException ex) {
                Logger.getLogger(WorldFileList.class.getName()).log(Level.WARNING, null, ex);
            }

            if(writer != null){
                JSONObject jRoot = new JSONObject();

                jRoot.put("ver", "" + FILE_VER_MAJOR + "." + FILE_VER_MINOR);

                JSONArray jHistory = new JSONArray();
                jRoot.put("history", jHistory);

                for(WorldFileEntry entry: getEntries()){
                    JSONObject jElement = new JSONObject();
                    jHistory.put(jElement);

                    jElement.put("file", entry.getFile().getAbsoluteFile());
                    jElement.put("name", entry.getWorldName());
                }

                jRoot.write(writer, 4, 0);

                try {
                    writer.close();
                } catch (IOException ex) {
                    Logger.getLogger(WorldFileList.class.getName()).log(Level.SEVERE, null, ex);
                }
            }
        } else {
            System.err.println("Could not write file " + file.getAbsolutePath());
        }
    }

    /**
     * Read available worlds file (legacy)