diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-19 18:03:53 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-19 18:03:53 +0000 |
| commit | 075898dea7ee73b49462af3d3ab0269fd46afcc4 (patch) | |
| tree | fe91fb888fe347f09ceed2a036423841f2e67515 | |
| parent | dc6405d27e1ecedf6289039c7b3ed94c50683b2d (diff) | |
No more problems when protocols gets disabled during feeding.
| -rw-r--r-- | nest/proto.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nest/proto.c b/nest/proto.c index 76467aa5..5381f0d8 100644 --- 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; |