java-flexdock/java-flexdock-0.5.2-ResourceManager.patch

12 lines
541 B
Diff

--- src/java/core/org/flexdock/util/ResourceManager.java 2007-01-02 16:15:46.000000000 +0100
+++ src/java/core/org/flexdock/util/ResourceManager.java-gil 2011-02-04 12:17:36.000000000 +0100
@@ -313,7 +313,7 @@
}
// determine a file from which we can load our library.
- File file = new File(System.getProperty("user.home") + "/flexdock");
+ File file = new File("/usr/lib/java");
file.mkdirs();
file = new File(file.getAbsolutePath() + "/" + library
+ LIBRARY_EXTENSION);