Ops, forgot debuging outputs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4730 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/tools/tesh/run_context.c b/tools/tesh/run_context.c
index 130c7f9..645cae1 100644 (file)
--- a/tools/tesh/run_context.c
+++ b/tools/tesh/run_context.c
@@ -86,7 +86,6 @@ void rctx_armageddon(rctx_t initiator, int exitcode) {
       xbt_os_mutex_lock(rctx->interruption);
       rctx->interrupted = 1;
       xbt_os_mutex_unlock(rctx->interruption);
-      INFO2("Do Kill <%s> because <%s> failed",rctx->filepos,initiator->filepos);
       if (!rctx->reader_done) {
        kill(rctx->pid,SIGTERM);
        usleep(100);