mirror of
https://github.com/moses-smt/mosesdecoder.git
synced 2024-12-29 06:52:34 +03:00
die in safesystem on child's death
git-svn-id: https://mosesdecoder.svn.sourceforge.net/svnroot/mosesdecoder/trunk@612 1f5c12ca-751b-0410-a591-d2e778427230
This commit is contained in:
parent
af1be61259
commit
9b23b6d9c8
@ -1621,6 +1621,7 @@ sub safesystem {
|
|||||||
elsif ($? & 127) {
|
elsif ($? & 127) {
|
||||||
printf STDERR "Execution of: @_\n died with signal %d, %s coredump\n",
|
printf STDERR "Execution of: @_\n died with signal %d, %s coredump\n",
|
||||||
($? & 127), ($? & 128) ? 'with' : 'without';
|
($? & 127), ($? & 128) ? 'with' : 'without';
|
||||||
|
exit(1);
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
my $exitcode = $? >> 8;
|
my $exitcode = $? >> 8;
|
||||||
|
Loading…
Reference in New Issue
Block a user