add Errno::EIO to list of rescued exceptions as underlying pts can close before shutdown is complete
Possibly relates to GitHub Issue #40.
This commit is contained in:
@@ -119,7 +119,7 @@ private ######################################################################
|
|||||||
end
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
rescue PTY::ChildExited, Interrupt
|
rescue PTY::ChildExited, Interrupt, Errno::EIO
|
||||||
begin
|
begin
|
||||||
info "process exiting", process
|
info "process exiting", process
|
||||||
rescue Interrupt
|
rescue Interrupt
|
||||||
|
|||||||
Reference in New Issue
Block a user