]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove a member variable that is never set to anything other than 'true'.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 5 Jan 2015 15:18:32 +0000 (09:18 -0600)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Fri, 9 Jan 2015 06:56:07 +0000 (00:56 -0600)
include/deal.II/base/mpi.h
source/base/mpi.cc

index 9b1d4900d435dfc66dfbb19cc48fdfc981201610..24a3ad6cfe5041a1d17feb724ff5a3fbdda66755 100644 (file)
@@ -314,15 +314,6 @@ namespace Utilities
        * MPI process.
        */
       ~MPI_InitFinalize();
-
-    private:
-      /**
-       * This flag tells the class whether it owns the MPI process (i.e., it
-       * has been constructed using the argc/argv input, or it has been
-       * copied). In the former case, the command <tt>MPI_Finalize()</tt> will
-       * be called at destruction.
-       */
-      const bool owns_mpi;
     };
 
     namespace internal
index 7f25575378b74d3bea75f7dcaeb5b5bd85bbf781..2680c3272a34834cf83cf2fed0aa72a3e4c196d4 100644 (file)
@@ -317,8 +317,6 @@ namespace Utilities
     MPI_InitFinalize::MPI_InitFinalize (int    &argc,
                                         char ** &argv,
                                         const unsigned int max_num_threads)
-      :
-      owns_mpi (true)
     {
       static bool constructor_has_already_run = false;
       Assert (constructor_has_already_run == false,
@@ -353,7 +351,6 @@ namespace Utilities
       // about these variables
       (void)argc;
       (void)argv;
-      (void)owns_mpi;
 #endif
 
       // we are allowed to call MPI_Init ourselves and PETScInitialize will
@@ -508,7 +505,7 @@ namespace Utilities
 
       int MPI_has_been_started = 0;
       MPI_Initialized(&MPI_has_been_started);
-      if (Utilities::System::job_supports_mpi() == true && owns_mpi == true &&
+      if (Utilities::System::job_supports_mpi() == true &&
           MPI_has_been_started != 0)
         {
           if (std::uncaught_exception())

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.