From f0e7f93aec03ca422c7ff119794663654199f4ee Mon Sep 17 00:00:00 2001 From: schnorr Date: Tue, 31 Jul 2012 23:36:52 +0200 Subject: [PATCH] [trace] add function to destroy process container --- src/instr/instr_msg_process.c | 10 ++++++++++ src/instr/instr_private.h | 1 + 2 files changed, 11 insertions(+) diff --git a/src/instr/instr_msg_process.c b/src/instr/instr_msg_process.c index 94e19706d4..58795e820a 100644 --- a/src/instr/instr_msg_process.c +++ b/src/instr/instr_msg_process.c @@ -65,6 +65,16 @@ void TRACE_msg_process_create (const char *process_name, int process_pid, msg_ho } } +void TRACE_msg_process_destroy (const char *process_name, int process_pid, msg_host_t host) +{ + int len = INSTR_DEFAULT_STR_SIZE; + char str[INSTR_DEFAULT_STR_SIZE]; + + container_t process = PJ_container_get (instr_process_id_2 (process_name, process_pid, str, len)); + PJ_container_remove_from_parent (process); + PJ_container_free (process); +} + void TRACE_msg_process_kill(msg_process_t process) { if (TRACE_msg_process_is_enabled()){ diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h index 1b6068fbd4..2508306d5c 100644 --- a/src/instr/instr_private.h +++ b/src/instr/instr_private.h @@ -120,6 +120,7 @@ char *instr_process_id_2 (const char *process_name, int process_pid, char *str, void TRACE_msg_process_change_host(msg_process_t process, msg_host_t old_host, msg_host_t new_host); void TRACE_msg_process_create (const char *process_name, int process_pid, msg_host_t host); +void TRACE_msg_process_destroy (const char *process_name, int process_pid, msg_host_t host); void TRACE_msg_process_kill(msg_process_t process); void TRACE_msg_process_suspend(msg_process_t process); void TRACE_msg_process_resume(msg_process_t process); -- 2.20.1