replace always erroring of_else with map_err
This commit is contained in:
committed by
Bennet Bleßmann
parent
8766851919
commit
df3f1236f7
@@ -3936,14 +3936,14 @@ impl Machine {
|
|||||||
|
|
||||||
self.indices.remove_stream(stream);
|
self.indices.remove_stream(stream);
|
||||||
|
|
||||||
stream.close().or_else(|_| {
|
stream.close().map_err(|_| {
|
||||||
let stub = functor_stub(atom!("close"), 1);
|
let stub = functor_stub(atom!("close"), 1);
|
||||||
let addr = stream.into();
|
let addr = stream.into();
|
||||||
let err = self
|
let err = self
|
||||||
.machine_st
|
.machine_st
|
||||||
.existence_error(ExistenceError::Stream(addr));
|
.existence_error(ExistenceError::Stream(addr));
|
||||||
|
|
||||||
Err(self.machine_st.error_form(err, stub))
|
self.machine_st.error_form(err, stub)
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user