|
|
| |
public static final String REVISION = "$Revision: 1.9 $"; | public static final String REVISION = "$Revision: 1.9 $"; |
| |
private static final String fileName = new String("FreeCol.log"); |
private static final String fileName = new String(System.getProperty("user.home") + "/.freecol/FreeCol.log"); |
| |
private FileWriter fileWriter; | private FileWriter fileWriter; |
| |
|
|
private static void createAndSetDirectories() { | private static void createAndSetDirectories() { |
// TODO: The location of the save directory should be determined by the installer.; | // TODO: The location of the save directory should be determined by the installer.; |
| |
File mainUserDirectory = new File(System.getProperty("user.home"), "freecol"); |
File mainUserDirectory = new File(System.getProperty("user.home"), ".freecol"); |
if (mainUserDirectory.exists() && mainUserDirectory.isFile()) { | if (mainUserDirectory.exists() && mainUserDirectory.isFile()) { |
logger.warning("Could not create .freecol under " | logger.warning("Could not create .freecol under " |
+ System.getProperty("user.home") + " because there " | + System.getProperty("user.home") + " because there " |