ext/common/EventedBufferedInput.h in passenger-4.0.48 vs ext/common/EventedBufferedInput.h in passenger-4.0.49
- old
+ new
@@ -88,11 +88,11 @@
State state: 2;
/**
* Whether this EventedBufferedInput is paused (not started). If it's
* paused it should not emit data events.
- *
+ *
* @invariant
* if paused:
* socketPaused
*/
bool paused: 1;
@@ -121,17 +121,17 @@
char bufferData[bufferSize];
void verifyInvariants() {
// !a || b: logical equivalent of a IMPLIES b.
-
+
assert(!( state == END_OF_STREAM ) || ( paused ));
assert(!( state == END_OF_STREAM ) || ( socketPaused ));
-
+
assert(!( state == READ_ERROR ) || ( paused ));
assert(!( state == READ_ERROR ) || ( socketPaused ));
-
+
assert(!( paused ) || ( socketPaused ));
}
void resetCallbackFields() {
onData = NULL;
@@ -379,10 +379,10 @@
void start() {
if (state == LIVE && paused) {
EBI_TRACE("start()");
verifyInvariants();
assert(socketPaused);
-
+
paused = false;
if (!buffer.empty()) {
processBufferInNextTick();
} else {
socketPaused = false;