diff options
| -rw-r--r-- | rpkid/rpki/async.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rpkid/rpki/async.py b/rpkid/rpki/async.py index 9bf91304..68d90aa8 100644 --- a/rpkid/rpki/async.py +++ b/rpkid/rpki/async.py @@ -94,6 +94,10 @@ class timer(object): except ValueError: pass + def is_set(self): + """Test whether this timer is currently set.""" + return self in self.queue + def expired(self): """Handle a timer that has expired. Subclass must define this.""" raise NotImplementedError |