]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Fix previous change.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 3 Jun 2013 04:41:31 +0000 (04:41 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 3 Jun 2013 04:41:31 +0000 (04:41 +0000)
git-svn-id: https://svn.dealii.org/trunk@29735 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/include/deal.II/base/work_stream.h

index e43b43554e3242f750e51838830a7b6a9478997a..9bd3d741ac1b39856820159623b4c214c29a10ee 100644 (file)
@@ -15,6 +15,7 @@
 
 #include <deal.II/base/config.h>
 #include <deal.II/base/multithread_info.h>
+#include <deal.II/base/thread_management.h>
 #include <deal.II/base/template_constraints.h>
 #include <deal.II/base/std_cxx1x/function.h>
 #include <deal.II/base/std_cxx1x/bind.h>
@@ -358,14 +359,14 @@ namespace WorkStream
              }
            catch (const std::exception &exc)
              {
-               internal::handle_std_exception (exc);
+               Threads::internal::handle_std_exception (exc);
              }
            catch (...)
              {
-               internal::handle_unknown_exception ();
+               Threads::internal::handle_unknown_exception ();
              }
          }
-       
+
         // then return the original pointer
         // to the now modified object
         return item;
@@ -440,14 +441,14 @@ namespace WorkStream
              }
            catch (const std::exception &exc)
              {
-               internal::handle_std_exception (exc);
+               Threads::internal::handle_std_exception (exc);
              }
            catch (...)
              {
-               internal::handle_unknown_exception ();
+               Threads::internal::handle_unknown_exception ();
              }
          }
-       
+
 
         // return an invalid
         // item since we are at

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.