fine: more straightforwardly cancel keen timer

When +ke-abet-gone gets called, we're going to remove this keen
entirely. +ke-set-wake does a whole song-and-dance and may even set a
new timer. So instead, we simply call +ke-rest, if we have a known
outstanding timer.
This commit is contained in:
fang 2022-05-16 22:52:07 +02:00
parent 0251b127e1
commit 9e3bcf14c1
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972

View File

@ -2641,7 +2641,8 @@
==
::
++ ke-abet-gone
=. ke-core ke-set-wake
=? ke-core ?=(^ next-wake.keen)
(ke-rest u.next-wake.keen)
=. keens.scry
+:(del:orm keens.scry keen-id)
=. order.scry