var searchData= [ ['session_20managing_20function_2e',['Session managing function.',['../group__drmaa__session.html',1,'']]] ];
var searchData= [ ['session_20managing_20function_2e',['Session managing function.',['../group__drmaa__session.html',1,'']]] ];