def handle_INT(self):
        self.lineBuffer = []
        self.lineBufferIndex = 0

        self.terminal.nextLine()
        self.terminal.write("KeyboardInterrupt")
        self.terminal.nextLine()
these are all different, across all platforms!
dataset/ETHPy150Open evennia/evennia/evennia/server/portal/ssh.py/SshProtocol.handle_INT--crossover with--dataset/ETHPy150Open anandology/pyjamas/library/gwt/DOM.py/eventGetMouseWheelVelocityY