unregister method

void unregister(
  1. String name
)

Removes a tool by name.

Implementation

void unregister(String name) {
  if (_tools.remove(name) != null) {
    _logger.debug('Tool unregistered: $name');
  }
}