fix: terminate running repl on shutdown#34

Merged

armed merged 1 commit intomasterfrom fix/proper-repl-terminate

Jul 10, 2024

+4-1

Commits on Jul 10, 2024

fix: terminate running repl on shutdown
armed
committed