aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2025-12-17 07:14:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

feat: manually close conn

Browse Source
This commit is contained in:
lollipopkit
2024-05-09 22:29:44 +08:00
parent 7767cc4b51
commit b876981243
3 changed files with 80 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
lib/data/provider/server.dart
View File

@@ -37,6 +37,8 @@ class ServerProvider extends ChangeNotifier {
Timer? _timer;
final _manualDisconnectedIds = <String>{};
Future<void> load() async {
// Issue #147
// Clear all servers because of restarting app will cause duplicate servers
@@ -139,13 +141,9 @@ class ServerProvider extends ChangeNotifier {
TryLimiter.reset(s.spi.id);
}
/// If [spi.autoConnect] is false and server is disconnected, then skip.
///
/// If [spi.autoConnect] is false and server is connected, then refresh.
/// If no this, the server will only refresh once by clicking refresh button.
///
/// If [spi.autoConnect] is true, then refresh.
if (!(s.spi.autoConnect ?? true) && s.conn == ServerConn.disconnected) {
if (!(s.spi.autoConnect ?? true) &&
s.conn == ServerConn.disconnected ||
_manualDisconnectedIds.contains(s.spi.id)) {
return;
}
return await _getData(s.spi);
@@ -192,8 +190,12 @@ class ServerProvider extends ChangeNotifier {
}
void _closeOneServer(String id) {
_servers[id]?.client?.close();
_servers[id]?.client = null;
final item = _servers[id];
item?.client?.close();
item?.client = null;
item?.conn = ServerConn.disconnected;
_manualDisconnectedIds.add(id);
notifyListeners();
}
void addServer(ServerPrivateInfo spi) {