public override KernelEventHandler RegisterKernelEventHandler(KernelEventHandler handler) { return(_database.registerKernelEventHandler(handler)); }
public override KernelEventHandler RegisterKernelEventHandler(KernelEventHandler handler) { return(_database.registerKernelEventHandler(handler)); }