You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
use the same technique as used in ants where a panic handler can be registered. The default handler will activate session save, so that the user can invoke a subsequent resume. So a resume save can be activate by a panic as well as a ctrl-c interrupt.
The text was updated successfully, but these errors were encountered:
plastikfan
changed the title
add panic handler that invokes automatci save for resume
add panic handler that invokes automatic save for resume
Oct 15, 2024
use the same technique as used in ants where a panic handler can be registered. The default handler will activate session save, so that the user can invoke a subsequent resume. So a resume save can be activate by a panic as well as a ctrl-c interrupt.
The text was updated successfully, but these errors were encountered: