Various fixes

This commit is contained in:
GeoffreyCoulaud
2023-05-24 17:30:19 +02:00
parent 7220852291
commit 8da7185d17
6 changed files with 9 additions and 12 deletions

View File

@@ -12,7 +12,7 @@ class Manager:
in that case a new cancellable must be generated for new tasks to run.
"""
run_after: set[type["Manager"]]
run_after: set[type["Manager"]] = set()
cancellable: Gio.Cancellable
errors: list[Exception]
@@ -42,7 +42,7 @@ class Manager:
return errors
@abstractmethod
def run(self, game: Game) -> None:
def run(self, game: Game, cancellable: Gio.Cancellable) -> None:
"""Pass the game through the manager.
May block its thread.
May not raise exceptions, as they will be silently ignored."""