diff --git a/src/nzg_spaceDelete.c b/src/nzg_spaceDelete.c index 117ac67..f7e9247 100644 --- a/src/nzg_spaceDelete.c +++ b/src/nzg_spaceDelete.c @@ -4,6 +4,8 @@ /* prototypes des fonctions annexes à ne pas exporter */ int msgSpaceIdIntern(msgSpaceId dest,const msgSpaceId src ); int msgPoolDataIdIntern(msgSpaceId dest,const msgSpaceId src ); +int msgPoolDataTabSemIdIntern( + msgPoolSemId destSemId,const msgSpaceId externId); int msgSpaceDelete(msgSpaceId externId){ fprintf(stderr,"Deleting msgSpace with id : %s\n",externId); @@ -28,6 +30,13 @@ int msgSpaceDelete(msgSpaceId externId){ return -1; } printf("ok\n"); + + printf("Unlinking DataTabSem... "); + if (sem_unlink(space->poolDataTabSemId) < 0){ + NZG_ERROR("sem_unlink",space->poolDataTabSemId); + return -1; + } + printf("ok\n"); if (shm_unlink(nzgId)<0){ perror("shm_unlink");