[Feature] Fully-featured server stop functionality#138

Open

3manifold wants to merge 1 commit intohuggingface:mainfrom 3manifold:stop-server-feature

+55-16

Commits on Nov 12, 2024

Server stop feature
3manifold
committed