mirror of
https://github.com/moses-smt/mosesdecoder.git
synced 2024-09-11 11:25:40 +03:00
daily automatic beautifier
This commit is contained in:
parent
2da95fe74a
commit
59365f2bd3
@ -146,11 +146,9 @@ signal_handler(int signum)
|
|||||||
{
|
{
|
||||||
if (signum == SIGALRM) {
|
if (signum == SIGALRM) {
|
||||||
exit(0); // that's what we expected from the child process after forking
|
exit(0); // that's what we expected from the child process after forking
|
||||||
}
|
} else if (signum == SIGTERM || signum == SIGKILL) {
|
||||||
else if (signum == SIGTERM || signum == SIGKILL) {
|
|
||||||
exit(0);
|
exit(0);
|
||||||
}
|
} else {
|
||||||
else {
|
|
||||||
std::cerr << "Unexpected signal " << signum << std::endl;
|
std::cerr << "Unexpected signal " << signum << std::endl;
|
||||||
exit(signum);
|
exit(signum);
|
||||||
}
|
}
|
||||||
@ -344,7 +342,10 @@ int decoder_main(int argc, char const** argv)
|
|||||||
pid_t pid;
|
pid_t pid;
|
||||||
if (params.GetParam("daemon")) {
|
if (params.GetParam("daemon")) {
|
||||||
pid = fork();
|
pid = fork();
|
||||||
if (pid) { pause(); exit(0); } // parent process
|
if (pid) {
|
||||||
|
pause(); // parent process
|
||||||
|
exit(0);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
// setting "-show-weights" -> just dump out weights and exit
|
// setting "-show-weights" -> just dump out weights and exit
|
||||||
|
Loading…
Reference in New Issue
Block a user