1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Index: libflexdock-java-0.5.1-dfsg1/src/java/drag/org/flexdock/docking/drag/outline/xlib/XlibRubberBand.java
===================================================================
--- libflexdock-java-0.5.1-dfsg1.orig/src/java/drag/org/flexdock/docking/drag/outline/xlib/XlibRubberBand.java 2005-08-26 22:51:10.000000000 +0200
+++ libflexdock-java-0.5.1-dfsg1/src/java/drag/org/flexdock/docking/drag/outline/xlib/XlibRubberBand.java 2009-06-29 19:13:14.000000000 +0200
@@ -36,7 +36,8 @@
private static void prime() {
List keys = OsInfo.getInstance().getPrefixLibraryKeys();
-
+ System.setProperty("java.library.path", System.getProperty("java.library.path") + ":/usr/lib/jni/");
+
// we're going to cycle through various levels of os+arch accuracy
// until we're able to load a native library that matches the current
// system.
@@ -46,7 +47,7 @@
String resource = NATIVE_RESOURCE_PATH + NATIVE_RESOURCE_START + key + NATIVE_RESOURCE_END;
try {
- ResourceManager.loadLibrary(lib, resource);
+ System.loadLibrary(lib);
// if the library was successfully loaded, then we don't
// need to do anything else.
return;
|
