equal
deleted
inserted
replaced
133 MonitoredHost host; |
133 MonitoredHost host; |
134 Set vms; |
134 Set vms; |
135 try { |
135 try { |
136 host = MonitoredHost.getMonitoredHost(new HostIdentifier((String)null)); |
136 host = MonitoredHost.getMonitoredHost(new HostIdentifier((String)null)); |
137 vms = host.activeVms(); |
137 vms = host.activeVms(); |
138 } catch (java.net.URISyntaxException sx) { |
138 } catch (java.net.URISyntaxException | MonitorException x) { |
139 throw new InternalError(sx.getMessage()); |
139 throw new InternalError(x.getMessage(), x); |
140 } catch (MonitorException mx) { |
|
141 throw new InternalError(mx.getMessage()); |
|
142 } |
140 } |
143 for (Object vmid: vms) { |
141 for (Object vmid: vms) { |
144 if (vmid instanceof Integer) { |
142 if (vmid instanceof Integer) { |
145 int pid = ((Integer) vmid).intValue(); |
143 int pid = ((Integer) vmid).intValue(); |
146 String name = vmid.toString(); // default to pid if name not available |
144 String name = vmid.toString(); // default to pid if name not available |