Searched defs:session_name (Results 1 – 1 of 1) sorted by relevance
136 let session_name = session.unwrap().getName(); localVariable138 let session_name = session_name.unwrap(); localVariable