/* 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;
return 1;
}
-static void action_free(surf_action_t action)
+static int action_free(surf_action_t action)
{
DIE_IMPOSSIBLE;
- return;
+ return 1;
}
static void action_cancel(surf_action_t action)
static void finalize(void)
{
+ tmgr_trace_free(empty_trace);
+ empty_trace = NULL;
+
xbt_swag_free(command_pending);
xbt_swag_free(command_to_run);