Fix dev server projects reconnect (#13484)

Release Notes:

- Improved handling of client reconnects for dev-servers (alpha group
only)
This commit is contained in:
Conrad Irwin 2024-06-24 20:36:05 -06:00 committed by GitHub
parent df11b646da
commit 1ffd87b87e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 27 additions and 4 deletions

View file

@ -73,6 +73,7 @@ impl ConnectionPool {
pub fn reset(&mut self) {
self.connections.clear();
self.connected_users.clear();
self.connected_dev_servers.clear();
self.channels.clear();
}