equal
deleted
inserted
replaced
156 }); |
156 }); |
157 |
157 |
158 // handle target termination events for targets other than ourself |
158 // handle target termination events for targets other than ourself |
159 HostListener terminator = new HostListener() { |
159 HostListener terminator = new HostListener() { |
160 public void vmStatusChanged(VmStatusChangeEvent ev) { |
160 public void vmStatusChanged(VmStatusChangeEvent ev) { |
161 Integer lvmid = new Integer(vmId.getLocalVmId()); |
161 Integer lvmid = vmId.getLocalVmId(); |
162 if (ev.getTerminated().contains(lvmid)) { |
162 if (ev.getTerminated().contains(lvmid)) { |
163 logger.stopLogging(); |
163 logger.stopLogging(); |
164 } else if (!ev.getActive().contains(lvmid)) { |
164 } else if (!ev.getActive().contains(lvmid)) { |
165 logger.stopLogging(); |
165 logger.stopLogging(); |
166 } |
166 } |