opts: new logs page

This commit is contained in:
lollipopkit
2023-01-27 17:05:47 +08:00
parent 877b93ae3a
commit 092c3f522a
6 changed files with 53 additions and 17 deletions

View File

@@ -50,7 +50,7 @@ class ServerProvider extends BusyProvider {
Timer? _timer;
final logger = Logger('ServerProvider');
final logger = Logger('SERVER');
Memory get emptyMemory =>
Memory(total: 1, used: 0, free: 1, cache: 0, avail: 1);
@@ -132,6 +132,21 @@ class ServerProvider extends BusyProvider {
}
}
void closeServer({ServerPrivateInfo? spi}) {
if (spi == null) {
for (var i = 0; i < _servers.length; i++) {
_servers[i].client?.close();
_servers[i].client = null;
}
return;
}
final idx = _servers.indexWhere((e) => e.info == spi);
if (idx < 0) {
throw RangeError.index(idx, _servers);
}
_servers[idx].client?.close();
}
void addServer(ServerPrivateInfo spi) {
_servers.add(genInfo(spi));
locator<ServerStore>().put(spi);