projects
/
cubemap
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d72af7e
)
Add missing postcondition comment.
author
Steinar H. Gunderson
<sgunderson@bigfoot.com>
Wed, 22 Jul 2015 22:47:23 +0000
(
00:47
+0200)
committer
Steinar H. Gunderson
<sgunderson@bigfoot.com>
Wed, 22 Jul 2015 22:47:23 +0000
(
00:47
+0200)
server.cpp
patch
|
blob
|
history
diff --git
a/server.cpp
b/server.cpp
index
33a335a
..
99a3925
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;
}