/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
+#include "xbt/ex.h"
#include "surf_timer_private.h"
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(timer, surf,
- "Logging specific to the SURF timer module");
-
surf_timer_resource_t surf_timer_resource = NULL;
static tmgr_trace_t empty_trace = NULL;
static xbt_swag_t command_pending = NULL;
static void finalize(void)
{
+ tmgr_trace_free(empty_trace);
+ empty_trace = NULL;
+
xbt_swag_free(command_pending);
xbt_swag_free(command_to_run);