Actually implement event-driver timeouts.
authorFredrik Tolf <fredrik@dolda2000.com>
Mon, 14 Feb 2022 16:47:57 +0000 (17:47 +0100)
committerFredrik Tolf <fredrik@dolda2000.com>
Mon, 14 Feb 2022 16:47:57 +0000 (17:47 +0100)
commit2a11bb221932c2e5103e6df1ed2378247e569003
treec260829cd19a02df0b1cacffa42f9c4a5e1f12b5
parent37726d25d7aceb766bb9940a94defb0403c53c38
Actually implement event-driver timeouts.
src/jagi/event/Driver.java