Add missing postcondition comment.

diff --git a/server.cpp b/server.cpp
index 33a335ab2e036b903c4d89e87cc22d838dbdd160..99a3925e13f0bca65531f82902012408e0b5556c 100644 (file)
--- 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;
                }