Did you know ... Search Documentation:
Predicate pengine_done/0
 pengine_done is det[private]
Called from the pengine thread at_exit option. Destroys child pengines using pengine_destroy/1. Cleaning up the Pengine is synchronised by the pengine_done mutex. See read_event/6.