public override KernelEventHandler UnregisterKernelEventHandler(KernelEventHandler handler) { return(_database.unregisterKernelEventHandler(handler)); }
public override KernelEventHandler UnregisterKernelEventHandler(KernelEventHandler handler) { return(_database.unregisterKernelEventHandler(handler)); }