diff options
author | Juan Lin <9691057+juanlin@users.noreply.github.com> | 2017-10-21 17:47:08 +0300 |
---|---|---|
committer | Juan Lin <9691057+juanlin@users.noreply.github.com> | 2017-10-21 17:47:08 +0300 |
commit | 8d5872699f8a4ce5c062c5f7c1e01f3a4d31817f (patch) | |
tree | ffcb4b3ed2c1dd115ffbd1fc06c4bd476891b0fd /Clovershell | |
parent | 3afa3b7b054f7c9c9998ae8bedabbb8da7a58185 (diff) |
Fix crash on telnet quit, connection cleanup
Diffstat (limited to 'Clovershell')
-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()
|