#ifdef HAVE_TRACING
static FILE *tracing_file = NULL;
-int tracing_active = 0;
static int pajeDefineContainerTypeId = 0;
static int pajeDefineStateTypeId = 1;
#define TRACE_LINE_SIZE 1000
-void TRACE_paje_start(FILE * file)
+void TRACE_paje_start(void)
{
- tracing_file = file;
- tracing_active = 1;
+ char *filename = TRACE_get_filename();
+ tracing_file = fopen(filename, "w");
+ if (!tracing_file) {
+ THROW1(tracing_error, TRACE_ERROR_FILE_OPEN,
+ "Tracefile %s could not be opened for writing.", filename);
+ }
}
-FILE *TRACE_paje_end(void)
+void TRACE_paje_end(void)
{
- tracing_active = 0;
- return tracing_file;
+ fclose(tracing_file);
}
-
void TRACE_paje_create_header(void)
{
- if (!tracing_active)
+ if (!TRACE_is_active())
return;
fprintf(tracing_file, "\
%%EventDef PajeDefineContainerType %d \n\