From f9a7d6ec6fefb417a59347aeb81e7b3eec09a3e7 Mon Sep 17 00:00:00 2001 From: tiif Date: Sat, 17 Aug 2024 12:02:23 +0800 Subject: [PATCH] Move epoll_ready_events.epollhup = true up --- src/tools/miri/src/shims/unix/socket.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/src/shims/unix/socket.rs b/src/tools/miri/src/shims/unix/socket.rs index cf3f65f69b21..f7c168c58b97 100644 --- a/src/tools/miri/src/shims/unix/socket.rs +++ b/src/tools/miri/src/shims/unix/socket.rs @@ -71,12 +71,12 @@ impl FileDescription for SocketPair { } else { // Peer FD has been closed. epoll_ready_events.epollrdhup = true; + epoll_ready_events.epollhup = true; // Since the peer is closed, even if no data is available reads will return EOF and // writes will return EPIPE. In other words, they won't block, so we mark this as ready // for read and write. epoll_ready_events.epollin = true; epoll_ready_events.epollout = true; - epoll_ready_events.epollhup = true; } Ok(epoll_ready_events) }