powered by
A function to stop logging the session history for a graphic driver run and save the session history file
stop_session_log()
David Wade
Note that the start_session_log function is used to start the logging, and it must be called first.