diff --git a/maestro/pool_manager.c b/maestro/pool_manager.c index 904db1a9420587f6219eb7e2ef3761941924978a..ed1ba7267d5c04fb555f086d9b533998d3dec7be 100644 --- a/maestro/pool_manager.c +++ b/maestro/pool_manager.c @@ -1723,7 +1723,7 @@ mstro_pm__handle_dispose_phase3(mstro_event event, DEBUG("DISPOSE 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_DISPOSE, 1); - return MSTRO_UNIMPL; + return MSTRO_OK; }