]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Bugfix: We cannot throw in Subscriptor::do_unsubscribe either because it is used...
authorMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 25 Oct 2013 11:24:34 +0000 (11:24 +0000)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 25 Oct 2013 11:24:34 +0000 (11:24 +0000)
git-svn-id: https://svn.dealii.org/trunk@31422 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/source/base/subscriptor.cc
tests/base/reference.debug.output

index bc039582d72f41aab37aef58ebc3842eed4d58d5..505eff12146c6b4d8e19b58f9f1d98464cc5751d 100644 (file)
@@ -171,7 +171,7 @@ void Subscriptor::do_unsubscribe (const char *id) const
 {
 #ifdef DEBUG
   const char *name = (id != 0) ? id : unknown_subscriber;
-  Assert (counter>0, ExcNoSubscriber(object_info->name(), name));
+  AssertNothrow (counter>0, ExcNoSubscriber(object_info->name(), name));
   // This is for the case that we do
   // not abort after the exception
   if (counter == 0)
@@ -182,8 +182,8 @@ void Subscriptor::do_unsubscribe (const char *id) const
 
 #ifndef DEAL_II_WITH_THREADS
   map_iterator it = counter_map.find(name);
-  Assert (it != counter_map.end(), ExcNoSubscriber(object_info->name(), name));
-  Assert (it->second > 0, ExcNoSubscriber(object_info->name(), name));
+  AssertNothrow (it != counter_map.end(), ExcNoSubscriber(object_info->name(), name));
+  AssertNothrow (it->second > 0, ExcNoSubscriber(object_info->name(), name));
 
   it->second--;
 #endif
index 580502fa26900b83aa42d52b29970dd779a9b299..daaec4daac074fc9a5adc3da49793c137d90feee 100644 (file)
@@ -12,6 +12,6 @@ DEAL::Construct D
 DEAL::Destruct D
 DEAL::Exception: ExcInUse (counter, object_info->name(), infostring)
 DEAL::Destruct C
+DEAL::Exception: ExcNoSubscriber(object_info->name(), name)
 DEAL::Destruct B
 DEAL::Destruct A
-DEAL::ExcNoSubscriber(object_info->name(), name)

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.