(String name)
| 37 | } |
| 38 | |
| 39 | public static Tool getTool(String name) { |
| 40 | if (tools.containsKey(name)) { |
| 41 | // look for local tool |
| 42 | Tool tool = tools.get(name); |
| 43 | OSPLog.fine("Found local tool: " + name); //$NON-NLS-1$ |
| 44 | return tool; |
| 45 | } |
| 46 | return null; |
| 47 | } |
| 48 | |
| 49 | } |
| 50 |