clean up global destructors as a shutdown hook in case exit is called
parent
5b4c1aea5d
commit
a4a687ab32
|
@ -91,3 +91,10 @@ PRIVATE>
|
||||||
[ do-error-destructors ]
|
[ do-error-destructors ]
|
||||||
cleanup
|
cleanup
|
||||||
] with-scope ; inline
|
] with-scope ; inline
|
||||||
|
|
||||||
|
[
|
||||||
|
[
|
||||||
|
always-destructors get-global dispose-each
|
||||||
|
error-destructors get-global dispose-each
|
||||||
|
] with-destructors
|
||||||
|
] "destructors.global" add-shutdown-hook
|
||||||
|
|
Loading…
Reference in New Issue