From: tama3 Date: Wed, 14 May 2008 07:55:34 +0000 (+0000) Subject: update initialization process. make not existing history directory X-Git-Url: http://git.sourceforge.jp/view?a=commitdiff_plain;h=9554e1082cf8dc4c9b97e3edc7916616c57ace22;p=stigmata%2Fstigmata-core.git update initialization process. make not existing history directory git-svn-id: svn+ssh://svn.sourceforge.jp/svnroot/stigmata/trunk@280 acee48c3-7b26-0410-bdac-b3d0e5314bbc --- diff --git a/src/main/java/jp/naist/se/stigmata/BirthmarkEnvironment.java b/src/main/java/jp/naist/se/stigmata/BirthmarkEnvironment.java index ac4da8c..5fdd55f 100644 --- a/src/main/java/jp/naist/se/stigmata/BirthmarkEnvironment.java +++ b/src/main/java/jp/naist/se/stigmata/BirthmarkEnvironment.java @@ -122,15 +122,15 @@ public class BirthmarkEnvironment{ stigmataHome = System.getenv("STIGMATA_HOME"); } if(stigmataHome == null){ - String parent = System.getenv("HOME"); + String parent = System.getProperty("user.home"); if(parent == null){ - parent = System.getProperty("user.home"); + parent = System.getenv("HOME"); } if(parent == null){ parent = "."; } // for windows - if(parent.startsWith("C:\\Document and Settings\\")){ + if(parent.startsWith("C:\\Documents and Settings\\")){ stigmataHome = parent + File.separator + "Application Data" + File.separator + "stigmata"; } else{ diff --git a/src/main/java/jp/naist/se/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java b/src/main/java/jp/naist/se/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java index 99898bd..ea2d31a 100755 --- a/src/main/java/jp/naist/se/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java +++ b/src/main/java/jp/naist/se/stigmata/result/history/XmlFileExtractedBirthmarkHistory.java @@ -40,9 +40,11 @@ public class XmlFileExtractedBirthmarkHistory implements ExtractedBirthmarkHisto public void refresh(){ files.clear(); - for(File file: parent.listFiles()){ - if(isTarget(file)){ - files.put(file.getName(), file); + if(parent.exists()){ + for(File file: parent.listFiles()){ + if(isTarget(file)){ + files.put(file.getName(), file); + } } } }