Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free memory
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:47:05 +0000 (22:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 20:47:05 +0000 (22:47 +0200)
src/mc/mc_checkpoint.c

index f7c9b83..872165a 100644 (file)
@@ -283,7 +283,7 @@ void get_plt_section(){
   if(fp == NULL)
     perror("popen failed");
 
-  while ((read = getline(&line, &n, fp)) != -1 && plt_not_found) {
+  while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {
 
     if(n == 0)
       continue;
@@ -317,6 +317,7 @@ void get_plt_section(){
     
   }
 
+  free(command);
   free(line);
   pclose(fp);