]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Do not use deprecated function Threads::this_thread_id(). 7288/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 5 Oct 2018 23:49:15 +0000 (17:49 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 5 Oct 2018 23:49:15 +0000 (17:49 -0600)
source/base/logstream.cc

index c1c97a33798ca7324794d12384ab219e501ff84a..556bb5a1256bdd07f3715b342fadd60f1c78fc81 100644 (file)
@@ -21,6 +21,7 @@
 #include <iomanip>
 #include <iostream>
 #include <sstream>
+#include <thread>
 
 
 DEAL_II_NAMESPACE_OPEN
@@ -414,8 +415,8 @@ LogStream::get_prefixes() const
 void
 LogStream::print_line_head()
 {
-  const std::string &head   = get_prefix();
-  const unsigned int thread = Threads::this_thread_id();
+  const std::string &   head   = get_prefix();
+  const std::thread::id thread = std::this_thread::get_id();
 
   if (get_prefixes().size() <= std_depth)
     {

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.