[GNUnet-SVN] r34013 - gnunet/src/cadet

[gnunet]

Author: bartpolot
Date: 2014-07-23 07:47:26 +0200 (Wed, 23 Jul 2014)
New Revision: 34013

Modified:
   gnunet/src/cadet/gnunet-service-cadet_channel.c
Log:
- make sure head of pending messages is > expected message, fix integer 
underflow

Modified: gnunet/src/cadet/gnunet-service-cadet_channel.c
===================================================================
--- gnunet/src/cadet/gnunet-service-cadet_channel.c     2014-07-23 05:47:24 UTC 
(rev 34012)
+++ gnunet/src/cadet/gnunet-service-cadet_channel.c     2014-07-23 05:47:26 UTC 
(rev 34013)
@@ -1540,6 +1540,7 @@
            GC_m2s (copy->type));
       continue;
     }
+    GNUNET_assert (copy->mid > ack);
     delta = copy->mid - (ack + 1);
     if (63 < delta)
       break;