X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/41e07e98c29549b7f6a5702e548a0e4d0b0e31b2..a71989a120236410d9075a19f530ae96de37c5df:/src/xbt/xbt_replay.cpp diff --git a/src/xbt/xbt_replay.cpp b/src/xbt/xbt_replay.cpp index 7af9758b06..c75acf1028 100644 --- a/src/xbt/xbt_replay.cpp +++ b/src/xbt/xbt_replay.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2010-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2010-2020. 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. */ @@ -102,7 +102,7 @@ static void handle_action(ReplayAction& action) action_fun function = action_funs.at(action.at(1)); try { function(action); - } catch (xbt_ex& e) { + } catch (const Exception& e) { action.clear(); xbt_die("Replay error:\n %s", e.what()); } @@ -124,8 +124,7 @@ int replay_runner(const char* actor_name, const char* trace_filename) delete evt; } if (action_queues.find(actor_name_string) != action_queues.end()) { - std::queue* myqueue = action_queues.at(actor_name_string); - delete myqueue; + delete action_queues.at(actor_name_string); action_queues.erase(actor_name_string); } } else { // Should have got my trace file in argument