From 19b89b0942b56e8ae64cd5711fb9ebb5edca3437 Mon Sep 17 00:00:00 2001
From: endolf <endolf@java.net>
Date: Thu, 4 Sep 2003 11:50:06 +0000
Subject: [PATCH] Added property java.controllerPluginPath that enables users
 to specify their own path for the controller plugin.

---
 .../games/input/DefaultControllerEnvironment.java    | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/coreAPI/src/java/net/java/games/input/DefaultControllerEnvironment.java b/coreAPI/src/java/net/java/games/input/DefaultControllerEnvironment.java
index d3db0e4..75009de 100644
--- a/coreAPI/src/java/net/java/games/input/DefaultControllerEnvironment.java
+++ b/coreAPI/src/java/net/java/games/input/DefaultControllerEnvironment.java
@@ -159,10 +159,18 @@ class DefaultControllerEnvironment extends ControllerEnvironment {
     
     /* This is jeff's new plugin code using Jeff's Plugin manager */
     private void scanControllers() {
+        String pluginPathName = System.getProperty("jinput.controllerPluginPath");
+        if(pluginPathName == null) {
+            System.out.println("Using default controller plugin path");
+            pluginPathName = "controller";
+        } else {
+            System.out.println("Using specified controller plugin path (" + pluginPathName + ")");
+        }
+        
         scanControllersAt(System.getProperty("java.home") +
-            File.separator + "lib"+File.separator+"controller");
+            File.separator + "lib"+File.separator + pluginPathName);
         scanControllersAt(System.getProperty("user.dir")+
-            File.separator+ "controller");
+            File.separator + pluginPathName);
     }
     
     private void scanControllersAt(String path) {