From b9dd53eea175bc4f30445217fca01208c4ce1083 Mon Sep 17 00:00:00 2001 From: Jeremy Penner Date: Thu, 15 Sep 2011 18:16:10 -0400 Subject: [PATCH] allow token to kill itself --- engine.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/engine.py b/engine.py index b923f3d..55f9211 100644 --- a/engine.py +++ b/engine.py @@ -492,9 +492,10 @@ class Token(Taggable): def die(self): - self.tasklet.kill() self.fRunning = False Taggable.die(self) + self.tasklet.kill() # the token may be killing itself; make sure it's properly marked as dead before killing the tasklet + def run(self): pass