new: delete all servers btn

This commit is contained in:
lollipopkit
2023-07-27 13:04:49 +08:00
parent 08a4dba659
commit ed3201db6d
16 changed files with 82 additions and 26 deletions

View File

@@ -22,6 +22,10 @@ class ServerStore extends PersistentStore {
box.delete(id);
}
void deleteAll() {
box.clear();
}
void update(ServerPrivateInfo old, ServerPrivateInfo newInfo) {
if (!have(old)) {
throw Exception('Old spi: $old not found');