in gym_hil/wrappers/intervention_utils.py [0:0]
def stop(self): """Stop the keyboard listener.""" if self.listener and self.listener.is_alive(): self.listener.stop()