// $Id$
// Version: $Name$
//
-// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2007, 2008, 2010, 2012 by the deal.II authors
+// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2007, 2008, 2010, 2012, 2013 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
// running the c++filt program over
// the output.
#ifdef DEBUG
- std::string infostring;
- for (map_iterator it = counter_map.begin(); it != counter_map.end(); ++it)
- {
- if (it->second > 0)
- infostring += std::string("\n from Subscriber ")
- + std::string(it->first);
- }
// if there are still active pointers, show
// a message and kill the program. However,
{
if (std::uncaught_exception() == false)
{
+ std::string infostring;
+ for (map_iterator it = counter_map.begin(); it != counter_map.end(); ++it)
+ {
+ if (it->second > 0)
+ infostring += std::string("\n from Subscriber ")
+ + std::string(it->first);
+ }
+
+ if (infostring == "")
+ infostring = "<none>";
+
Assert (counter == 0,
ExcInUse (counter, object_info->name(), infostring));
}