diff options
Diffstat (limited to 'java/src')
| -rw-r--r-- | java/src/IceInternal/ThreadPool.java | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/java/src/IceInternal/ThreadPool.java b/java/src/IceInternal/ThreadPool.java index 3a2585c33cf..300c4fa8859 100644 --- a/java/src/IceInternal/ThreadPool.java +++ b/java/src/IceInternal/ThreadPool.java @@ -270,7 +270,19 @@ public final class ThreadPool { if(_selector != null) { - _selector.close(); + try + { + _selector.close(); + } + catch(java.io.IOException ex) + { + // + // Ignore this exception. This shouldn't happen + // but for some reasons the close() call raises + // "java.io.IOException: Bad file descriptor" on + // Mac OS X 10.3.x (it works fine on OS X 10.4.x) + // + } _selector = null; } |