import 'dart:async'; import 'package:flutter/foundation.dart'; import 'package:logging/logging.dart'; import 'package:toolbox/core/build_mode.dart'; import '../../core/extension/uint8list.dart'; import '../../core/provider_base.dart'; import '../../core/utils/server.dart'; import '../../locator.dart'; import '../model/server/server.dart'; import '../model/server/server_private_info.dart'; import '../model/server/server_status_update_req.dart'; import '../model/server/snippet.dart'; import '../model/server/try_limiter.dart'; import '../res/server_cmd.dart'; import '../res/status.dart'; import '../store/server.dart'; import '../store/setting.dart'; class ServerProvider extends BusyProvider { List _servers = []; List get servers => _servers; final _limiter = TryLimiter(); Timer? _timer; final _logger = Logger('SERVER'); Future loadLocalData() async { setBusyState(true); final infos = locator().fetch(); _servers = List.generate(infos.length, (index) => genServer(infos[index])); setBusyState(false); notifyListeners(); } Server genServer(ServerPrivateInfo spi) { return Server(spi, initStatus, null, ServerState.disconnected); } Future refreshData( {ServerPrivateInfo? spi, bool onlyFailed = false}) async { if (spi != null) { await _getData(spi); return; } await Future.wait(_servers.map((s) async { if (onlyFailed) { if (s.state != ServerState.failed) return; _limiter.resetTryTimes(s.spi.id); } await _getData(s.spi); })); } Future startAutoRefresh() async { final duration = locator().serverStatusUpdateInterval.fetch()!; if (duration == 0) return; stopAutoRefresh(); _timer = Timer.periodic(Duration(seconds: duration), (_) async { await refreshData(); }); } void stopAutoRefresh() { if (_timer != null) { _timer!.cancel(); _timer = null; } } void setDisconnected() { for (var i = 0; i < _servers.length; i++) { _servers[i].state = ServerState.disconnected; } _limiter.clear(); notifyListeners(); } 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 = getServerIdx(spi.id); _servers[idx].client?.close(); _servers[idx].client = null; } void addServer(ServerPrivateInfo spi) { _servers.add(genServer(spi)); notifyListeners(); locator().put(spi); refreshData(spi: spi); } void delServer(String id) { final idx = getServerIdx(id); _servers[idx].client?.close(); _servers.removeAt(idx); notifyListeners(); locator().delete(id); } Future updateServer( ServerPrivateInfo old, ServerPrivateInfo newSpi) async { final idx = _servers.indexWhere((e) => e.spi.id == old.id); if (idx < 0) { throw RangeError.index(idx, _servers); } _servers[idx].spi = newSpi; locator().update(old, newSpi); _servers[idx].client = await genClient(newSpi); notifyListeners(); refreshData(spi: newSpi); } int getServerIdx(String id) { final idx = _servers.indexWhere((s) => s.spi.id == id); if (idx < 0) { throw Exception('Server not found: $id'); } return idx; } Server getServer(String id) => _servers[getServerIdx(id)]; Future _getData(ServerPrivateInfo spi) async { final sid = spi.id; final s = getServer(sid); final state = s.state; if (!state.shouldConnect) { return; } if (!_limiter.shouldTry(sid)) { s.state = ServerState.failed; notifyListeners(); return; } s.state = ServerState.connecting; notifyListeners(); try { // try to connect final time1 = DateTime.now(); s.client = await genClient(spi); final time2 = DateTime.now(); final spentTime = time2.difference(time1).inMilliseconds; _logger.info('Connected to [$sid] in $spentTime ms.'); // after connected s.state = ServerState.connected; notifyListeners(); // write script to server final writeResult = await s.client!.run(installShellCmd).string; // if write failed if (writeResult.isNotEmpty) { throw Exception(writeResult); } // reset try times if connected successfully _limiter.resetTryTimes(sid); if (s.client == null) return; // run script to get server status final raw = await s.client!.run("sh $shellPath").string; final segments = raw.split(seperator).map((e) => e.trim()).toList(); if (raw.isEmpty || segments.length == 1) { s.state = ServerState.failed; if (s.status.failedInfo == null || s.status.failedInfo!.isEmpty) { s.status.failedInfo = 'Seperate segments failed, raw:\n$raw'; } return; } // remove first empty segment // for `export xxx` in shell script segments.removeAt(0); final req = ServerStatusUpdateReq(s.status, segments); s.status = await compute(getStatus, req); } catch (e) { s.state = ServerState.failed; s.status.failedInfo = e.toString(); _logger.warning(e); if (BuildMode.isDebug) { rethrow; } } finally { notifyListeners(); } } Future runSnippet(String id, Snippet snippet) async { final client = getServer(id).client; if (client == null) { return null; } return await client.run(snippet.script).string; } }