From 85f0e1f464c4b9fa2ff81ffa55ab2b74ee14fe45 Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Fri, 18 May 2018 14:16:45 +0200 Subject: [PATCH] process->actor --- src/instr/instr_platform.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/instr/instr_platform.cpp b/src/instr/instr_platform.cpp index eeb38779a5..7bbf6bf3c4 100644 --- a/src/instr/instr_platform.cpp +++ b/src/instr/instr_platform.cpp @@ -278,11 +278,11 @@ static void instr_on_platform_created() TRACE_paje_dump_buffer(true); } -static void TRACE_actor_kill(smx_process_exit_status_t status, msg_process_t process) +static void TRACE_actor_kill(smx_process_exit_status_t status, simgrid::s4u::Actor* actor) { if (status == SMX_EXIT_FAILURE) // kill means that this actor no longer exists, let's destroy it - simgrid::instr::Container::by_name(instr_pid(process))->remove_from_parent(); + simgrid::instr::Container::by_name(instr_pid(actor))->remove_from_parent(); } static void instr_actor_on_creation(simgrid::s4u::ActorPtr actor) -- 2.20.1