-/* Copyright (c) 2015. The SimGrid Team.
+ /* Copyright (c) 2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
mc_server->exit();
}
catch(std::exception& e) {
- XBT_ERROR(e.what());
+ XBT_ERROR("Exception: %s", e.what());
}
exit(MC_SERVER_ERROR);
}