}
}
private Object doPulling(String name) {
// ���������tools�У���pull֮��
ToolFactory toolFactory = tools.get(name);
if (toolFactory != null) {
Object tool;
try {
tool = toolFactory.createTool();
} catch (Exception ex) {
throw new PullException("Could not create tool: \"" + name + "\"", ex);
}
if (getLogger().isDebugEnabled()) {