X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a1e25c3df3ccc322ac4cf785d666b86777f9dac2..4bb73cb3914b5f7b77a9ec1f8abe728e637cc016:/src/instr/instr_config.cpp

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index 97608c670d..be37b07a2d 100644
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -55,7 +55,6 @@ static bool trace_basic;
 static bool trace_display_sizes = false;
 static bool trace_disable_link;
 static bool trace_disable_power;
-static int trace_precision;
 
 static bool trace_configured = false;
 static bool trace_active     = false;
@@ -82,7 +81,6 @@ static void TRACE_getopts()
   trace_display_sizes       = xbt_cfg_get_boolean(OPT_TRACING_DISPLAY_SIZES);
   trace_disable_link        = xbt_cfg_get_boolean(OPT_TRACING_DISABLE_LINK);
   trace_disable_power       = xbt_cfg_get_boolean(OPT_TRACING_DISABLE_POWER);
-  trace_precision           = xbt_cfg_get_int(OPT_TRACING_PRECISION);
 }
 
 int TRACE_start()
@@ -428,34 +426,3 @@ static void output_types (const char *name, xbt_dynar_t types, FILE *file)
   }
   xbt_dynar_free (&types);
 }
-
-static int previous_trace_state = -1;
-
-void instr_pause_tracing ()
-{
-  previous_trace_state = trace_enabled;
-  if (not TRACE_is_enabled()) {
-    XBT_DEBUG ("Tracing is already paused, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being paused.");
-  }
-  trace_enabled = false;
-  XBT_DEBUG ("Tracing is paused.");
-}
-
-void instr_resume_tracing ()
-{
-  if (TRACE_is_enabled()){
-    XBT_DEBUG ("Tracing is already running while trying to resume, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being resumed.");
-  }
-
-  if (previous_trace_state != -1){
-    trace_enabled = previous_trace_state;
-  }else{
-    trace_enabled = true;
-  }
-  XBT_DEBUG ("Tracing is resumed.");
-  previous_trace_state = -1;
-}