Defined in pyglet.app
Exit the application event loop.
Causes the application event loop to finish, if an event loop is currently running. The application may not necessarily exit (for example, there may be additional code following the run invocation).
This is a convenience function, equivalent to:
event_loop.exit()