removeTool method
Remove a previously registered tool. Returns true when an entry was removed.
Implementation
@override
bool removeTool(String name) {
final hadDef = _toolDefs.remove(name) != null;
final hadScope = _scopes.remove(name) != null;
_kernelHandlers.remove(name);
if (!hadDef && !hadScope) return false;
server.removeTool(name);
return true;
}