Add option for displaying timer output

git-svn-id: http://svn.cactuscode.org/flesh/trunk@1154 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 9 insertions, 1 deletions

diff --git a/src/main/ShutdownCactus.c b/src/main/ShutdownCactus.c
index 155505a4..602936dd 100644
--- a/src/main/ShutdownCactus.c
+++ b/src/main/ShutdownCactus.c
@@ -8,8 +8,10 @@
  @@*/
 
 #include <stdio.h>
+#include <stdlib.h>
 
-#include "cctk_Flesh.h"
+#include "cctk.h"
+#include "cctk_parameters.h"
 
 static char *rcsid = "$Id$";
 
@@ -30,5 +32,11 @@ static char *rcsid = "$Id$";
 @@*/
 int ShutdownCactus(tFleshConfig *ConfigData)
 {
+  DECLARE_CCTK_PARAMETERS
+
+  if (CCTK_Equals(cctk_timer_output,"full"))
+  {
+    CCTK_SchedulePrintTimes(NULL);
+  }
   return 0;
 }