tracing only with the TRACE_PLATFORM mask (for now)

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

diff --git a/src/instr/interface.c b/src/instr/interface.c
index 9397e1f..9cec676 100644 (file)
--- a/src/instr/interface.c
+++ b/src/instr/interface.c
@@ -37,6 +37,12 @@ int TRACE_start_with_mask(const char *filename, int mask) {
     return 0;
   }
 
     return 0;
   }
 

+  /* checking if the mask is good (only TRACE_PLATFORM for now) */
+  if (mask != TRACE_PLATFORM){
+    THROW0 (tracing_error, TRACE_ERROR_MASK,
+            "Only TRACE_PLATFORM mask is accepted for now");
+  }
+

   FILE *file = fopen(filename, "w");
   if (!file) {
     THROW1 (tracing_error, TRACE_ERROR_FILE_OPEN,
   FILE *file = fopen(filename, "w");
   if (!file) {
     THROW1 (tracing_error, TRACE_ERROR_FILE_OPEN,


@@ -46,7 +52,7 @@ int TRACE_start_with_mask(const char *filename, int mask) {
   }
   TRACE_paje_create_header();
 
   }
   TRACE_paje_create_header();
 

-  /* default trace is to trace only the platform */
+  /* setting the mask */

   trace_mask = mask;
 
   //check if options are correct
   trace_mask = mask;
 
   //check if options are correct


@@ -171,7 +177,11 @@ void TRACE_create_category (const char *category,
 
 void TRACE_set_mask (int mask)
 {
 
 void TRACE_set_mask (int mask)
 {

-  trace_mask = mask;
+  if (mask != TRACE_PLATFORM){
+     return;
+  }else{
+     trace_mask = mask;
+  }

 }
 
 #endif /* HAVE_TRACING */
 }
 
 #endif /* HAVE_TRACING */