From a39ec19cd753badabde45743d8116e7e3c165285 Mon Sep 17 00:00:00 2001
From: ngc6302h <shortanemoia@protonmail.com>
Date: Wed, 7 Jul 2021 00:02:34 +0200
Subject: [PATCH] Kernel: Fix kernel crash when remote peer resets unexpectedly

---
 Kernel/Net/IPv4Socket.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Kernel/Net/IPv4Socket.cpp b/Kernel/Net/IPv4Socket.cpp
index ef74e35f1d..9a1731dbcf 100644
--- a/Kernel/Net/IPv4Socket.cpp
+++ b/Kernel/Net/IPv4Socket.cpp
@@ -268,8 +268,6 @@ KResultOr<size_t> IPv4Socket::receive_byte_buffered(FileDescription& description
         }
     }
 
-    VERIFY(!m_receive_buffer.is_empty());
-
     KResultOr<size_t> nreceived_or_error { 0 };
     if (flags & MSG_PEEK)
         nreceived_or_error = m_receive_buffer.peek(buffer, buffer_length);