Joining another server no longer opens an empty player
connect() kept the last server's state while dialling the next; the shell saw its media on arrival and opened the player (full, on a friend's server) over the new, empty one. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
1 parent
d9d7881747
commit
51af830160
3 files changed
+39
-2
No files matched your search
@@ -517,6 +517,9 @@ class SessionCoordinator {
|
||||
final epoch = connection.invalidate();
|
||||
await _teardown(silent: true);
|
||||
if (!connection.isCurrent(epoch)) throw const ConnectCancelled();
|
||||
// The last server's state is not this one's: kept, its media opened the
|
||||
// player (full, on a friend's server) over an empty new server.
|
||||
serverState.value = null;
|
||||
connection.begin(params);
|
||||
_wsHost = params.host;
|
||||
_wsPort = params.port;
|
||||
|
||||
Reference in new issue
Block a user