blob: 6bdcd3852d30485793af2158eb1c9e4ff7bb1190 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
/*@@
@file ShutdownCactus.c
@date Mon Sep 28 14:25:48 1998
@author Tom Goodale
@desc
Contains routines to shutdown cactus.
@enddesc
@@*/
#include <stdio.h>
#include <stdlib.h>
#include "cctk_Flesh.h"
#include "cctk_Misc.h"
#include "cctk_Schedule.h"
#include "cctk_Parameters.h"
static char *rcsid = "$Id$";
/*@@
@routine CCTKi_ShutdownCactus
@date Mon Sep 28 14:50:50 1998
@author Tom Goodale
@desc
Cactus specific shutdown stuff.
@enddesc
@calls
@calledby
@history
@endhistory
@@*/
int CCTKi_ShutdownCactus(tFleshConfig *ConfigData)
{
DECLARE_CCTK_PARAMETERS
if (CCTK_Equals(cctk_timer_output,"full"))
{
CCTK_SchedulePrintTimes(NULL);
}
return 0;
USE_CCTK_PARAMETERS
}
|