def run_destroy_kernel(kid): if kid is not None: begin = time.monotonic() Kernel(kid).destroy() end = time.monotonic() return end - begin return None