From: Steinar H. Gunderson <sgunderson@bigfoot.com>
Date: Wed, 22 Jul 2015 22:47:23 +0000 (+0200)
Subject: Add missing postcondition comment.
X-Git-Tag: 1.2.0~14
X-Git-Url: https://git.sesse.net/?p=cubemap;a=commitdiff_plain;h=fb0ec9c7b3fb51c5da24af0183d35f3815e6ca0e;ds=sidebyside

Add missing postcondition comment.
---

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;
 		}