}
if((options&WNOHANG)!=0) return 0;
synchronized(waitNotification) {
- try { waitNotification.wait(); } catch(InterruptedException e) { throw new Error(e); }
+ try { waitNotification.wait(); } catch(InterruptedException e) { /* ignore */ }
}
}
}
}
}
- public static void main(String[] args) throws Exception {
- UnixRuntime rt = new Interpreter();
- rt.cwd = getSystemProperty("user.dir");
- BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
- String line;
- while((line = br.readLine()) != null) {
- System.out.println("[" + rt.cleanupPath(line) + "]");
- }
- }
-
-
private static boolean needsCleanup(String path) {
if(path.indexOf("//") != -1) return true;
if(path.indexOf('.') != -1) {