| | |
| | | import java.util.Set; |
| | | import java.util.SortedSet; |
| | | import java.util.TreeSet; |
| | | import java.util.logging.Level; |
| | | import java.util.logging.Logger; |
| | | |
| | | import javax.naming.NameNotFoundException; |
| | | import javax.naming.NamingException; |
| | |
| | | |
| | | private String filter; |
| | | |
| | | private static final Logger LOG = |
| | | Logger.getLogger(BrowserController.class.getName()); |
| | | |
| | | /** |
| | | * Constructor of the BrowserController. |
| | | * @param tree the tree that must be updated. |
| | |
| | | try { |
| | | refreshTaskDidProgress(task, oldState, newState); |
| | | } |
| | | catch(Exception x) { |
| | | x.printStackTrace(); |
| | | catch(Throwable t) |
| | | { |
| | | LOG.log(Level.SEVERE, "Error calling refreshTaskDidProgress: "+t, t); |
| | | } |
| | | } |
| | | }; |
| | |
| | | if (node.getError() != null) { |
| | | if (node.getError().getException() != null) |
| | | { |
| | | node.getError().getException().printStackTrace(); |
| | | LOG.log(Level.SEVERE, "node has error: "+node.getError().getException(), |
| | | node.getError().getException()); |
| | | } |
| | | modifiers |= IconPool.MODIFIER_ERROR; |
| | | } |