Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
only remove from dict if the key is there
authorschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Fri, 17 Sep 2010 14:33:23 +0000 (14:33 +0000)
committerschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Fri, 17 Sep 2010 14:33:23 +0000 (14:33 +0000)
commitfacae0548d7833b6d462c1177d11d7cdbb97948b
treef6d67a9d455d49edcf74ea1b0d8533ce085b17d5
parente6e323a7749044351eada87127f0658c9a8c937d
only remove from dict if the key is there

details:
- fix on multiple calls to TRACE_smpi_set_category(NULL)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8197 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/instr/categories.c