diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-16 20:08:35 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-16 20:08:35 +0000 |
commit | 6bacbfcbe191ec898e43f4f03e570283b156a8ca (patch) | |
tree | b81ddcf798cc7008b09d504687d319f429cd5bb3 /vest/line_mediator.pl | |
parent | 15a587e247dc0954de27e2627f5511126243943d (diff) |
vest: oracle_loss argument bugfix
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@287 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'vest/line_mediator.pl')
-rwxr-xr-x | vest/line_mediator.pl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/vest/line_mediator.pl b/vest/line_mediator.pl index f3c6dbf1..0a9af82e 100755 --- a/vest/line_mediator.pl +++ b/vest/line_mediator.pl @@ -47,12 +47,9 @@ if ($ENV{SERIAL}) { my @rw2=POSIX::pipe(); my $pid=undef; $SIG{CHLD} = sub { wait }; -# close STDIN; -# close STDOUT; while (not defined ($pid=fork())) { sleep 1; } -# info(STDOUT_FILENO,STDIN_FILENO,"\n"); POSIX::close(STDOUT_FILENO); POSIX::close(STDIN_FILENO); if ($pid) { |