Add missing postcondition comment.
[cubemap] / server.cpp
index 33a335ab2e036b903c4d89e87cc22d838dbdd160..99a3925e13f0bca65531f82902012408e0b5556c 100644 (file)
@@ -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.
                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;
                }
                        stream->put_client_to_sleep(client);
                        return;
                }