X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fe304706848f0a64477d4687b3ea97d5b9a0c35c..26ba5558401021cb3854f2f1a5ffedd7044f6823:/src/xbt/xbt_replay.cpp diff --git a/src/xbt/xbt_replay.cpp b/src/xbt/xbt_replay.cpp index 7af9758b06..cb966e9693 100644 --- a/src/xbt/xbt_replay.cpp +++ b/src/xbt/xbt_replay.cpp @@ -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