From f18ffcc1b767fae4d2e5a92839d8c11c60095fce Mon Sep 17 00:00:00 2001 From: jeon Date: Thu, 18 Apr 2019 17:22:28 +0900 Subject: [PATCH] devicemgr: skip deinit process if current devicemgr is not init Change-Id: Iccd2d77ac44dfca48e11d563d1df283511547c78 --- src/lib/devicemgr/pepper-devicemgr.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/lib/devicemgr/pepper-devicemgr.c b/src/lib/devicemgr/pepper-devicemgr.c index 68351aa..2844941 100644 --- a/src/lib/devicemgr/pepper-devicemgr.c +++ b/src/lib/devicemgr/pepper-devicemgr.c @@ -144,8 +144,10 @@ _pepper_devicemgr_deinit_generator(pepper_devicemgr_t *pepper_devicemgr, struct rdata->init = PEPPER_FALSE; pepper_devicemgr->ref--; if (pepper_devicemgr->ref < 0) pepper_devicemgr->ref = 0; + break; + } else { + return ret; } - break; } } -- 2.34.1