}
}
+ // NOTE: getDisplayName() is a Java2 function
private static String posixTZ() {
StringBuffer sb = new StringBuffer();
TimeZone zone = TimeZone.getDefault();
}
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 */ }
}
}
}