docs: def on_stop(self, *largs):
          """Sync the database, wrap up the game, and halt."""
          self.strings.save()
          self.funcs.save()
          self.engine.commit()
          self.procman.shutdown()
          self.config.write()