Commit ca43afe0 authored by Bruno Zanuttini's avatar Bruno Zanuttini
Browse files

Fixed problem with reading resources under Windows (prevented from launching at all)

parent d0d180b6
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ import fr.unicaen.aasuite.sessions.Session;
public class GUI {

	/** The version of this application. */
	public static final String VERSION = "2.0";
	public static final String VERSION = "2.1";

	/** The option name for the data directory. */
	public static final String DATA_DIR_OPTION = "--data-directory";
+2 −2
Original line number Diff line number Diff line
@@ -40,7 +40,7 @@ public class Resources {
	public static final String BUILDER_PROPERTY_FILE = "builders.properties";

	public static BufferedReader getReader(String resourceName) throws IOException {
		InputStream stream = Resources.class.getResource("/" + RESOURCE_DIR + File.separator + resourceName)
		InputStream stream = Resources.class.getResource("/" + RESOURCE_DIR + "/" + resourceName)
				.openStream();
		return new BufferedReader(new InputStreamReader(stream));
	}
@@ -67,7 +67,7 @@ public class Resources {
	}

	public static Properties getProperties(String name) throws IOException {
		InputStream stream = Resources.class.getResource("/" + RESOURCE_DIR + File.separator + name).openStream();
		InputStream stream = Resources.class.getResource("/" + RESOURCE_DIR + "/" + name).openStream();
		Properties res = new Properties();
		res.load(stream);
		return res;