From c5794d660a9c0ef7658c07e8c28260b78cbc7f5c Mon Sep 17 00:00:00 2001
From: Christopher Haine <chaine@hpe.com>
Date: Tue, 27 Jul 2021 16:17:08 +0200
Subject: [PATCH] leave UNIMPL fix

---
 maestro/pool_manager.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maestro/pool_manager.c b/maestro/pool_manager.c
index ed1ba726..fad1bcd6 100644
--- a/maestro/pool_manager.c
+++ b/maestro/pool_manager.c
@@ -1936,7 +1936,7 @@ mstro_pm__handle_leave_phase3(mstro_event event,
   DEBUG("LEAVE phase 3/3, event %p\n", event);
   mstro_pm__msg_free(cont->msg);
   mstro_stats_add_counter(MSTRO_STATS_CAT_PROTOCOL, MSTRO_STATS_L_PM_NUM_LEAVE, 1);
-  return MSTRO_UNIMPL;
+  return MSTRO_OK;
 }
 
 static inline
-- 
GitLab