rsc3/doc/help/server-command/quit.help.scrbl

14 lines
242 B
Text
Raw Permalink Normal View History

2022-08-24 13:53:18 +00:00
#lang scribble/manual
@(require (for-label racket))
@title{/quit Quit program}
2022-08-28 10:27:01 +00:00
2022-08-24 13:53:18 +00:00
No arguments.
Exits the synthesis server.
Asynchronous. Replies to sender with /done just before completion.
2022-08-28 10:27:01 +00:00