From fb0ec9c7b3fb51c5da24af0183d35f3815e6ca0e Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Thu, 23 Jul 2015 00:47:23 +0200 Subject: [PATCH 1/1] Add missing postcondition comment. --- server.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/server.cpp b/server.cpp index 33a335a..99a3925 100644 --- a/server.cpp +++ b/server.cpp @@ -495,6 +495,7 @@ sending_header_or_error_again: assert(bytes_to_send <= stream->backlog_size); if (bytes_to_send < stream->prebuffering_bytes) { // We don't have enough bytes buffered to start this client yet. + // This is postcondition #3. stream->put_client_to_sleep(client); return; } -- 2.39.2