place-dead-evt docs

2011-06-30 15:52:18 -06:00 · 2011-06-30 15:52:18 -06:00 · 7bd4ba9b11
commit 7bd4ba9b11
parent c8f235ba1c
1 changed files with 9 additions and 0 deletions
--- a/collects/scribblings/reference/places.scrbl
+++ b/collects/scribblings/reference/places.scrbl
@ -209,3 +209,12 @@ messages:

 ]}

+@;------------------------------------------------------------------------
+@;@section[#:tag "placesync"]{Synchronizing Places}
+
+@defproc[(place-dead-evt [p place?]) evt?]{
+
+Returns a @tech{synchronizable event} (see @secref["sync"]) that is
+ready if and only if @racket[p] has terminated.
+
+@;------------------------------------------------------------------------