Short time notification

[Will Newton]

I'm implementing a text entry system that requires to know when a key is 
pressed more than once in a time interval (~3 seconds).

So I have an event loop:

while 1: # Or whatever you care to call it
        k = readKey()
        processKey(k)

But I need to adapt this to return a different k if the same key is pressed 
more than once in the time interval.

What is the best way to do this in Python?