]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix description for shared_ptr 5244/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sat, 14 Oct 2017 12:27:18 +0000 (14:27 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sat, 14 Oct 2017 12:54:55 +0000 (14:54 +0200)
include/deal.II/base/thread_management.h

index eb76b61e227377ca823c7d14b079e88e87671cca..263b8b3bf98a339ad063d7dc9f5470bd9f70cbdc 100644 (file)
@@ -1053,9 +1053,8 @@ namespace Threads
   private:
     /**
      * Shared pointer to the object representing the thread, and abstracting
-     * operating system functions to work on it. Boost's shared pointer
-     * implementation will make sure that that object lives as long as there
-     * is at least one subscriber to it.
+     * operating system functions to work on it. This also makes sure that the
+     * object lives as long as there is at least one subscriber to it.
      */
     std::shared_ptr<internal::ThreadDescriptor<RT> > thread_descriptor;
   };
@@ -1735,9 +1734,8 @@ namespace Threads
     //@}
   private:
     /**
-     * Shared pointer to the object representing the task. Boost's shared
-     * pointer implementation will make sure that that object lives as long as
-     * there is at least one subscriber to it.
+     * Shared pointer to the object representing the task. This makes sure that
+     * the object lives as long as there is at least one subscriber to it.
      */
     std::shared_ptr<internal::TaskDescriptor<RT> > task_descriptor;
   };

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.