diff options
| author | Gilles Henaux <gill.henaux@gmail.com> | 2023-01-09 19:04:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-09 19:04:31 +0100 |
| commit | a5921d1dd7526ed02605837b1079dc9c4934febe (patch) | |
| tree | de721f8719ecee1f35b7cf73db2427da43dadc21 /src/shared.rs | |
| parent | c28dbcd67b6949802db5a4afcb7b350795db870a (diff) | |
| parent | a665a7adeecf6942bb17829132e0246ac263f932 (diff) | |
Merge pull request #6 from zheilbron/graceful_disconnect
Gracefully disconnect connections and trigger events
Diffstat (limited to 'src/shared.rs')
| -rw-r--r-- | src/shared.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/shared.rs b/src/shared.rs index 247841f..608bb0c 100644 --- a/src/shared.rs +++ b/src/shared.rs @@ -25,6 +25,8 @@ pub enum QuinnetError { UnknownClient(ClientId), #[error("Connection with id `{0}` is unknown")] UnknownConnection(ConnectionId), + #[error("Connection is closed")] + ConnectionClosed, #[error("Endpoint is already closed")] EndpointAlreadyClosed, #[error("Failed serialization")] |