Fix interrupted tutorial shutdown - #529

Merged

yuecideng merged 2 commits into

mainfrom

fix/graceful-tutorial-shutdown

Aug 20, 2026

Commits on Aug 20, 2026

fix(sim): make tutorial shutdown interrupt-safe
wu-simulab
committed
728774a
update
yuecideng
committed
d7d3712