Index atexit in the documentation, to make it easier to find for people coming from C

This commit is contained in:
Tony Garnock-Jones 2014-05-09 13:24:18 -04:00 committed by Matthew Flatt
parent 95cdd6e619
commit d512a4a9c1

View File

@ -6,7 +6,9 @@
A @deftech{plumber} supports @deftech{flush callbacks}, which are
normally triggered just before a Racket process or @tech{place} exits.
For example, a @tech{flush callback} might flush an output port's
buffer.
buffer.@margin-note{@tech{Flush callbacks} are roughly analogous to the standard C
library's @as-index{@tt{atexit}}, but flush callback can also be used in other,
similar scenarios.}
There is no guarantee that a flush callback will be called before a
process terminates---either because the plumber is not the original