diff --git a/orte/util/session_dir.c b/orte/util/session_dir.c old mode 100644 new mode 100755 index 561c4cef07..77bd37eaad --- a/orte/util/session_dir.c +++ b/orte/util/session_dir.c @@ -123,7 +123,6 @@ orte_session_dir_get_name(char **fulldirpath, char *hostid, orte_process_name_t *proc) { char *hostname = NULL, - *batchname = NULL, *sessions = NULL, *prefix = NULL, *frontend = NULL, @@ -282,7 +281,6 @@ orte_session_dir_get_name(char **fulldirpath, free(prefix); free(sessions); free(hostname); - free(batchname); free(frontend); return ORTE_ERR_FATAL; } @@ -310,9 +308,6 @@ orte_session_dir_get_name(char **fulldirpath, if(NULL != hostname) { free(hostname); } - if(NULL != batchname) { - free(batchname); - } if(NULL != sessions) { free(sessions); }