Method readWorldList

src/main/java/mudmap2/backend/WorldFileList.java:294–325

Read available worlds file (legacy)

(File historyFile)

     * Read available worlds file (legacy)
     */
    @Deprecated
    private static void readWorldList(File historyFile){
        try {
            // read from available worlds file
            BufferedReader reader = new BufferedReader(new FileReader(historyFile));

            String line;
            while((line = reader.readLine()) != null){
                line = line.trim();
                if(line.startsWith("f ")){ // world file entry
                    String fileName = line.substring(2).trim();

                    WorldFileDefault worldFile = new WorldFileDefault(fileName);
                    if(worldFile.canRead()){ // is world file
                        String name;
                        try {
                            // get world name
                            name = worldFile.readWorldName();
                        } catch (Exception ex) {
                            Logger.getLogger(WorldManager.class.getName()).log(Level.SEVERE, null, ex);
                            // use file name if world name not found
                            name = fileName.substring(fileName.lastIndexOf('/') + 1);
                        }
                        // add found world to list
                        push(new WorldFileEntry(name, new File(fileName)));
                    }
                }
            }
        } catch (FileNotFoundException ex) {} catch (IOException ex) {
            Logger.getLogger(WorldManager.class.getName()).log(Level.SEVERE, null, ex);
        }
    }

    public static class WorldFileEntry {