No more problems when protocols gets disabled during feeding.

diff --git a/nest/proto.c b/nest/proto.c
index 76467aa56acb4c9c2643b353ce8bdda3925aa15e..5381f0d8b3e2a0dd508c56a5c3437c15df85b423 100644 (file)
--- a/nest/proto.c
+++ b/nest/proto.c
@@ -415,6 +415,8 @@ proto_feed_more(void *P)
   struct proto *p = P;
 
   DBG("Feeding protocol %s continued\n", p->name);
+  if (p->core_state != FS_FEEDING)
+    return;
   if (rt_feed_baby(p))
     {
       p->core_state = FS_HAPPY;