diff options
Diffstat (limited to 'Clovershell/ShellConnection.cs')
| -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()
|