new: delete scripts when delete server

This commit is contained in:
lollipopkit
2023-11-07 18:10:38 +08:00
parent e80f6d4cc2
commit 2133302397
17 changed files with 117 additions and 56 deletions

View File

@@ -96,7 +96,7 @@ class _HomePageState extends State<HomePage>
BgRunMC.moveToBg();
}
} else {
Pros.server.setDisconnected();
//Pros.server.setDisconnected();
Pros.server.stopAutoRefresh();
}
break;