def run_restart_kernel(kid): # 2nd params is currently ignored. if kid is not None: begin = time.monotonic() Kernel(kid).restart() end = time.monotonic() return end - begin return None