diff options
Diffstat (limited to 'java/src/IceInternal/ThreadPool.java')
| -rw-r--r-- | java/src/IceInternal/ThreadPool.java | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/java/src/IceInternal/ThreadPool.java b/java/src/IceInternal/ThreadPool.java index 300c4fa8859..0a2a2f9816d 100644 --- a/java/src/IceInternal/ThreadPool.java +++ b/java/src/IceInternal/ThreadPool.java @@ -277,6 +277,8 @@ public final class ThreadPool catch(java.io.IOException ex) { // + // BUGFIX: + // // Ignore this exception. This shouldn't happen // but for some reasons the close() call raises // "java.io.IOException: Bad file descriptor" on @@ -288,7 +290,21 @@ public final class ThreadPool if(_fdIntrWrite != null) { - _fdIntrWrite.close(); + try + { + _fdIntrWrite.close(); + } + catch(java.io.IOException ex) + { + // + // BUGFIX: + // + // Ignore this exception. This shouldn't happen + // but for some reasons the close() call raises + // "java.io.IOException: No such file or + // directory" under Linux with JDK 1.4.2. + // + } _fdIntrWrite = null; } |