Method write

src/main/java/mudmap2/backend/WorldFileList.java:183–196

Write history

()

     * Write history
     */
    public static void write(){
        final File historyFile = getHistoryFile();

        // remove nonexistant entries
        cleanList();

        // write history
        if(!historyFile.exists() || historyFile.canWrite()){
            writeListJSON(historyFile);
        } else {
            System.err.println("Could not write world history file "
                    + historyFile.getAbsolutePath());
        }
    }

    /**
     * Read JSON-formatted history file