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;