Err, the race in io_output() doesn't double-free

[empserver] / src / lib / gen / ioqueue.c

diff --git a/src/lib/gen/ioqueue.c b/src/lib/gen/ioqueue.c
index ce2490c7542cae3d2004ee6c185ab9039a392375..f6450463bdd724d4dca7d218e7ebf5b0cdb04686 100644 (file)
--- a/src/lib/gen/ioqueue.c
+++ b/src/lib/gen/ioqueue.c
@@ -132,7 +132,9 @@ ioq_peek(struct ioqueue *ioq, char *buf, int cc)
 int
 ioq_dequeue(struct ioqueue *ioq, int cc)
 {
-    return removecc(ioq, cc);
+    int res = removecc(ioq, cc);
+    CANT_HAPPEN(res != cc);
+    return res;
 }
 
 void