Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
no need to protect surf_mins by ifdef, allocated whatever the factory
authorsuter <frederic.suter@cc.in2p3.fr>
Thu, 28 Nov 2013 15:24:53 +0000 (16:24 +0100)
committersuter <frederic.suter@cc.in2p3.fr>
Thu, 28 Nov 2013 15:27:53 +0000 (16:27 +0100)
src/surf/surf.cpp

index b8f653e..bffcc42 100644 (file)
@@ -394,9 +394,11 @@ void surf_exit(void)
 
 #ifdef CONTEXT_THREADS
   xbt_parmap_destroy(surf_parmap);
+#endif
+
   xbt_free(surf_mins);
   surf_mins = NULL;
-#endif
+
   xbt_dynar_free(&host_that_restart);
   xbt_dynar_free(&surf_path);