diff options
author | Alexey 'Cluster' Avdyukhin <ClusterM@users.noreply.github.com> | 2017-10-24 07:05:20 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-24 07:05:20 +0300 |
commit | 00425a9c6011ba8edf445608dfb3ce64a05e0c18 (patch) | |
tree | ffcb4b3ed2c1dd115ffbd1fc06c4bd476891b0fd | |
parent | 3afa3b7b054f7c9c9998ae8bedabbb8da7a58185 (diff) | |
parent | 8d5872699f8a4ce5c062c5f7c1e01f3a4d31817f (diff) |
Merge pull request #891 from juanlin/telnetfix
Fix crash on telnet quit, connection cleanup
-rw-r--r-- | Clovershell/ShellConnection.cs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Clovershell/ShellConnection.cs b/Clovershell/ShellConnection.cs index acbcb42e..ff97a5ec 100644 --- a/Clovershell/ShellConnection.cs +++ b/Clovershell/ShellConnection.cs @@ -89,10 +89,11 @@ namespace com.clusterrr.clovershell finally
{
shellConnectionThread = null;
+ Debug.WriteLine(string.Format("Shell client {0} disconnected", id));
+ if (socket != null)
+ socket.Close();
+ connection.shellConnections[id] = null;
}
- Debug.WriteLine(string.Format("Shell client {0} disconnected", id));
- socket.Close();
- connection.shellConnections[id] = null;
}
public void Dispose()
|