diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2013-06-27 09:15:08 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2013-06-27 09:15:08 +0200 |
| commit | 99fd46b7cfda6e357a955590741ecef42ed5832a (patch) | |
| tree | 932a4922febf8dafec40a7e0262c5372e10a2c5e | |
| parent | ff03e990a6bf1a7a4dd553780fabf822b46b482a (diff) | |
Fix for orb check
| -rw-r--r-- | src/main/java/com/c2kernel/process/Gateway.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/main/java/com/c2kernel/process/Gateway.java b/src/main/java/com/c2kernel/process/Gateway.java index fddda5c..8182bf8 100644 --- a/src/main/java/com/c2kernel/process/Gateway.java +++ b/src/main/java/com/c2kernel/process/Gateway.java @@ -349,8 +349,10 @@ public class Gateway Logger.closeConsole();
// finally, destroy the ORB
- orbDestroyed = true;
- getORB().destroy();
+ if (!orbDestroyed) {
+ getORB().destroy();
+ orbDestroyed = true;
+ }
}
static public org.omg.CORBA.ORB getORB()
|
