unsecure commit

[simgrid.git] / src / msg / instr_msg_process.cpp

diff --git a/src/msg/instr_msg_process.cpp b/src/msg/instr_msg_process.cpp
deleted file mode 100644 (file)
index a0aa212..0000000
--- a/src/msg/instr_msg_process.cpp
+++ /dev/null
@@ -1,24 +0,0 @@
-/* Copyright (c) 2010-2018. The SimGrid Team. All rights reserved.          */
-
-/* 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 "src/instr/instr_private.hpp"
-#include "src/msg/msg_private.hpp"
-#include "src/simix/ActorImpl.hpp"
-#include <simgrid/actor.h>
-
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_msg_process, instr, "MSG process");
-
-std::string instr_pid(msg_process_t proc)
-{
-  return std::string(proc->get_cname()) + "-" + std::to_string(proc->get_pid());
-}
-
-void TRACE_msg_process_kill(smx_process_exit_status_t status, msg_process_t process)
-{
-  if (TRACE_actor_is_enabled() && status == SMX_EXIT_FAILURE) {
-    //kill means that this process no longer exists, let's destroy it
-    simgrid::instr::Container::by_name(instr_pid(process))->remove_from_parent();
-  }
-}