<map id="drmaa_exit" name="drmaa_exit"> <area shape="rect" id="node2" href="$group__drmaa__session.html#gaf0da3cdd14af5244884636c303a75e9e" title="Closes connection with DRM (if any) and destroys DRMAA session data. " alt="" coords="142,5,250,32"/> </map>