Leaves the monitor. The monitor counts how many times the current thread has entered the monitor. Function leave# decrement this count. The monitor is released when this count reaches zero. An exception is thrown if this function is called by a thread which does not own the monitor.
Referenced by DjVuFile::notify_chunk_done(), operator=(), DjVuFile::reset(), DjVuFile::start_decode(), test_and_modify(), wait_and_modify(), DjVuDocument::wait_for_complete_init(), and DjVuDocument::wait_get_pages_num().