diff options
| author | Marc Laukien <marc@zeroc.com> | 2004-11-01 17:28:56 +0000 |
|---|---|---|
| committer | Marc Laukien <marc@zeroc.com> | 2004-11-01 17:28:56 +0000 |
| commit | 13bed028fb55ba1caeb4af15d1a18b1778a9e378 (patch) | |
| tree | f2c9b11446bec453488d20249842962d396bb201 /java/src/IceBox/ServiceManagerI.java | |
| parent | more glacier2 work (diff) | |
| download | ice-13bed028fb55ba1caeb4af15d1a18b1778a9e378.tar.bz2 ice-13bed028fb55ba1caeb4af15d1a18b1778a9e378.tar.xz ice-13bed028fb55ba1caeb4af15d1a18b1778a9e378.zip | |
AMD and dispatch exception handling fixes
Diffstat (limited to 'java/src/IceBox/ServiceManagerI.java')
| -rw-r--r-- | java/src/IceBox/ServiceManagerI.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/java/src/IceBox/ServiceManagerI.java b/java/src/IceBox/ServiceManagerI.java index 4c407199912..c75414f2169 100644 --- a/java/src/IceBox/ServiceManagerI.java +++ b/java/src/IceBox/ServiceManagerI.java @@ -167,7 +167,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp stopAll(); return 1; } - catch(Exception ex) + catch(java.lang.Exception ex) { java.io.StringWriter sw = new java.io.StringWriter(); java.io.PrintWriter pw = new java.io.PrintWriter(sw); @@ -327,7 +327,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp { throw ex; } - catch(Exception ex) + catch(java.lang.Exception ex) { FailureException e = new FailureException(); e.reason = "ServiceManager: exception while starting service " + service + ": " + ex; @@ -353,7 +353,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp { info.service.stop(); } - catch(Exception e) + catch(java.lang.Exception e) { java.io.StringWriter sw = new java.io.StringWriter(); java.io.PrintWriter pw = new java.io.PrintWriter(sw); @@ -389,7 +389,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp // the communicator for its own reasons. // } - catch(Exception e) + catch(java.lang.Exception e) { java.io.StringWriter sw = new java.io.StringWriter(); java.io.PrintWriter pw = new java.io.PrintWriter(sw); @@ -405,7 +405,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp { info.communicator.destroy(); } - catch(Exception e) + catch(java.lang.Exception e) { java.io.StringWriter sw = new java.io.StringWriter(); java.io.PrintWriter pw = new java.io.PrintWriter(sw); |