[trace] bugfix, do not try to declare a NULL category

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

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 0deeafe..263f3c6 100644 (file)
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -19,7 +19,7 @@ void TRACE_category(const char *category)
 
 void TRACE_category_with_color (const char *category, const char *color)
 {
 
 void TRACE_category_with_color (const char *category, const char *color)
 {

-  if (!TRACE_is_active())
+  if (!(TRACE_is_active() && category != NULL))

     return;
 
   xbt_assert1 (instr_platform_traced(),
     return;
 
   xbt_assert1 (instr_platform_traced(),