From 367b39ce39105577e2223655a3432945e2db482d Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 1 May 2018 22:39:26 +0100 Subject: [PATCH] Eliminate a (mostly harmless) source of #f current-facet. --- syndicate/dataspace.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index e702390..ebb6a57 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -486,10 +486,10 @@ ;; Run stop-scripts after terminating children. This means that ;; children's stop-scripts run before ours. - (schedule-script! ac (lambda () - (with-current-facet [f] - (for [(script (in-list (reverse (facet-stop-scripts f))))] - (script))))) + (push-script! ac (lambda () + (with-current-facet [f] + (for [(script (in-list (reverse (facet-stop-scripts f))))] + (script))))) (retract-facet-assertions-and-subscriptions! f)