Fixed a problem with the kiro server getting stuck in the RDMA event handler