-
Brian Nguyen authored
__glDispatchFini() is called by a GLdispatch client to clean up GLdispatch-internal state when the client is done using GLdispatch functionality. __glDispatchReset() is called by a GLdispatch client to determine whether fork recovery is needed, and handle the fork if necessary. Signed-off-by:
Brian Nguyen <brnguyen@nvidia.com>
81523012