When inserting into the dict, save the trailing '\0' (ie, use strlen+1 as size)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@158 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/set.c b/src/xbt/set.c
index 47ef8d3..da86253 100644 (file)
--- a/src/xbt/set.c
+++ b/src/xbt/set.c
@@ -74,7 +74,7 @@ gras_error_t gras_set_add    (gras_set_t     *set,
   gras_set_elm_t *found_in_dict;
 
   if (elm->name_len <= 0) {
   gras_set_elm_t *found_in_dict;
 
   if (elm->name_len <= 0) {

-    elm->name_len = strlen(elm->name);
+    elm->name_len = strlen(elm->name)+1;

   }
 
   errcode = gras_dict_get_ext (set->dict, 
   }
 
   errcode = gras_dict_get_ext (set->dict, 


@@ -111,7 +111,7 @@ gras_error_t gras_set_get_by_name    (gras_set_t     *set,
                                      const char     *name,
                                      /* OUT */gras_set_elm_t **dst) {
 
                                      const char     *name,
                                      /* OUT */gras_set_elm_t **dst) {
 

-  return gras_dict_get_ext(set->dict, name, strlen(name), (void**) dst);
+  return gras_dict_get_ext(set->dict, name, strlen(name)+1, (void**) dst);

 }
 /**
  * gras_set_get_by_name_ext:
 }
 /**
  * gras_set_get_by_name_ext: