# HG changeset patch # User Adam Chlipala # Date 1388230221 18000 # Node ID 8b1692660dacc9ea1f7bc441a493ed6c9e23ad52 # Parent 68c8ffc4ae699aee98a0161aac0f5969a7465890 How embarrassing; didn't try compiling before committing diff -r 68c8ffc4ae69 -r 8b1692660dac src/c/http.c --- a/src/c/http.c Sat Dec 28 06:27:08 2013 -0500 +++ b/src/c/http.c Sat Dec 28 06:30:21 2013 -0500 @@ -267,7 +267,7 @@ // unprocessed part of buffer to front. int kept = back - after; - if (/kept == 0) { + if (kept == 0) { // No pipelining going on here. // We'd might as well try to switch to a different connection, // while we wait for more input on this one.