You want one of the procedures listed here: 3 Launching Servers . My preference is to always use serve
, which returns a procedure that can be used to stop the server. This post might also be helpful.
Also, generally, kill-thread
should be avoided unless you know (i.e. the documentation mentions) that the data structures used by the thread you're killing are kill-safe.