- public Watched slash(String part) {
- if (part.equals("host")) return host;
- if (part.equals("port")) return port;
- if (part.equals("LIB")) return super.slash(part);
- if (part.endsWith(".jar")) return super.slash(part);
- return null;
- }
-
- public static void reboot() {
- Log.flush();
- System.exit(0);
- }
-
- public void changed(Watched w) {
- if (w.part.equals("host")) {
- Log.debug(this, "/host changed");
- } else if (w.part.equals("port")) {
- Log.debug(this, "/port changed");
- } else if (w.getAbsolutePath().endsWith(".jar")) {
+ public void changed(File w) throws IOException {
+ if (w.getName().equals("host")) Log.debug(this, "/host changed");
+ else if (w.getName().equals("port")) Log.debug(this, "/port changed");
+ /*
+ else if (w.getAbsolutePath().endsWith(".jar")) {