diff options
author | Erik Schnetter <schnetter@gmail.com> | 2013-08-07 19:31:35 -0400 |
---|---|---|
committer | Erik Schnetter <schnetter@gmail.com> | 2013-08-07 19:31:35 -0400 |
commit | 2ee083f401442bcca7265de784e1b0f00a185c25 (patch) | |
tree | 49885d659d28f797d6fa81b02f40a395fb5ab44b /Carpet/Timers/src/Timer.cc | |
parent | 77e61bb9a06ef271348c96d762935442c7439f0c (diff) |
Timers: Add parameters to disable all timers
Diffstat (limited to 'Carpet/Timers/src/Timer.cc')
-rw-r--r-- | Carpet/Timers/src/Timer.cc | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/Carpet/Timers/src/Timer.cc b/Carpet/Timers/src/Timer.cc index 50631c374..904950ef5 100644 --- a/Carpet/Timers/src/Timer.cc +++ b/Carpet/Timers/src/Timer.cc @@ -107,14 +107,18 @@ namespace Timers { extern "C" int Timer_Startup() { - // This must happen before any Timer objects are created - main_timer_tree.root = new TimerNode(&main_timer_tree, "main"); - main_timer_tree.current = 0; // No timer has been started yet - main_timer_tree.root->start(); + DECLARE_CCTK_PARAMETERS; - mode_timer_tree.root = new TimerNode(&mode_timer_tree, "meta mode"); - mode_timer_tree.current = 0; // No timer has been started yet - mode_timer_tree.root->start(); + if (not disable_timer_trees) { + // This must happen before any Timer objects are created + main_timer_tree.root = new TimerNode(&main_timer_tree, "main"); + main_timer_tree.current = 0; // No timer has been started yet + main_timer_tree.root->start(); + + mode_timer_tree.root = new TimerNode(&mode_timer_tree, "meta mode"); + mode_timer_tree.current = 0; // No timer has been started yet + mode_timer_tree.root->start(); + } return 0; } @@ -122,12 +126,16 @@ namespace Timers { extern "C" int Timer_Shutdown() { - // main_timer_tree.root->stop(); - // mode_timer_tree.root->stop(); + DECLARE_CCTK_PARAMETERS; - // Delete timer tree - delete main_timer_tree.root; main_timer_tree.root = 0; - delete mode_timer_tree.root; mode_timer_tree.root = 0; + if (not disable_timer_trees) { + // main_timer_tree.root->stop(); + // mode_timer_tree.root->stop(); + + // Delete timer trees + delete main_timer_tree.root; main_timer_tree.root = 0; + delete mode_timer_tree.root; mode_timer_tree.root = 0; + } return 0; } |