public void setBattleFilename(String newBattleFilename) { if (newBattleFilename != null) { battleFilename = newBattleFilename.replace((File.separatorChar == '/') ? '\\' : '/', File.separatorChar); if (battleFilename.indexOf(File.separatorChar) < 0) { try { battleFilename = FileUtil.getBattlesDir().getCanonicalPath() + File.separatorChar + battleFilename; } catch (IOException ignore) {} } if (!battleFilename.endsWith(".battle")) { battleFilename += ".battle"; } } }
StringBuilder name = new StringBuilder(); name.append(FileUtil.getBattlesDir().getCanonicalPath()); name.append(File.separator);