std::raise(signum);
}
-/**
- * Install signal handler for SIGSEGV.
- */
-static void install_segvhandler()
+static void install_signal_handlers()
{
+ /* Install signal handler for SIGINT */
+ std::signal(SIGINT, inthandler);
+
+ /* Install signal handler for SIGSEGV */
if (simgrid::kernel::context::Context::install_sigsegv_stack(true) == -1) {
XBT_WARN("Failed to register alternate signal stack: %s", strerror(errno));
return;
instance_->context_mod_init();
- /* Prepare to display some more info when dying on Ctrl-C pressing */
- std::signal(SIGINT, inthandler);
- install_segvhandler();
+ install_signal_handlers();
/* register a function to be called by SURF after the environment creation */
- sg_platf_init();
s4u::Engine::on_platform_created_cb([this]() { this->presolve(); });
if (config::get_value<bool>("debug/clean-atexit"))
}
tmgr_finalize();
- sg_platf_exit();
+ sg_platf_parser_finalize();
delete instance_;
instance_ = nullptr;
void EngineImpl::load_deployment(const std::string& file) const
{
- sg_platf_exit();
- sg_platf_init();
+ sg_platf_parser_finalize();
surf_parse_open(file);
surf_parse();