Browse Source

mpi/src/starpu_mpi.c: do not free internal requests.

Nathalie Furmento 12 years ago
parent
commit
2b8d04162e
1 changed files with 5 additions and 1 deletions
  1. 5 1
      mpi/src/starpu_mpi.c

+ 5 - 1
mpi/src/starpu_mpi.c

@@ -1039,7 +1039,11 @@ static void _starpu_mpi_test_detached_requests(void)
 		if (flag)
 		{
 			_starpu_mpi_req_list_erase(detached_requests, req);
-			free(req);
+#ifdef STARPU_DEVEL
+#warning FIXME: when do we free internal requests
+#endif
+			if (!req->is_internal_req)
+				free(req);
 		}
 
 	}