throwing an exception if TRACE_start is called twice

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

diff --git a/src/instr/interface.c b/src/instr/interface.c
index 9cec676..4dc5d80 100644 (file)
--- a/src/instr/interface.c
+++ b/src/instr/interface.c
@@ -34,6 +34,8 @@ int trace_mask;
  */
 int TRACE_start_with_mask(const char *filename, int mask) {
   if (IS_TRACING) { /* what? trace is already active... ignore.. */
+       THROW0 (tracing_error, TRACE_ERROR_START,
+               "TRACE_start called, but tracing is already active");
     return 0;
   }