From b7d31cf106156f37795ecfc41f7bad07133ec653 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 25 May 2011 12:28:03 +0000 Subject: [PATCH] fixing major, highly annoying bug... --- src/core/core_api.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/core_api.c b/src/core/core_api.c index daf93b3c4..58f489da3 100644 --- a/src/core/core_api.c +++ b/src/core/core_api.c @@ -1201,7 +1201,7 @@ main_notify_handler (void *cls, { /* request must have been cancelled between the original request and the response from core, ignore core's readiness */ - return; + break; } th = pr->pending_head; -- 2.25.1