commit | ab3de258f9fde2ce3f6ccaa722853af3620a7d9f | [log] [tgz] |
---|---|---|
author | Alessandro Ghedini <alessandro@ghedini.me> | Tue Apr 13 12:23:21 2021 +0100 |
committer | Alessandro Ghedini <alessandro@ghedini.me> | Tue Apr 13 12:23:27 2021 +0100 |
tree | 9a0adee5000c90f784cbefaafe086b19112e7213 | |
parent | 6fc099108e01ff051d22db482a13c18b711901c1 [diff] |
ffi: fix build error from manual merge I merged 8736dbec manually and accidentally broken the build.
diff --git a/src/ffi.rs b/src/ffi.rs index 0721871..96b1dd0 100644 --- a/src/ffi.rs +++ b/src/ffi.rs
@@ -789,7 +789,7 @@ reason: &mut *const u8, reason_len: &mut size_t, ) -> bool { match &conn.peer_error { - Some(conn_error) => unsafe { + Some(conn_err) => unsafe { *is_app = conn_err.is_app; *error_code = conn_err.error_code; *reason = conn_err.reason.as_ptr();