Function marian::requestSaveAndExit

• Defined in File signal_handling.cpp

Function Documentation

void marian::requestSaveAndExit(int sig)

Request graceful exit (signal handler)