From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sun, 31 Mar 2013 20:38:01 +0000 (+0000)
Subject: Fix a bug in ParameterHandler where parameter entries with "value" key where incorrec... 
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c1ce62178cc73283f4187c864dc0a83f12e7c46d;p=dealii-svn.git

Fix a bug in ParameterHandler where parameter entries with "value" key where incorrectly treated as final nodes

git-svn-id: https://svn.dealii.org/trunk@29123 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/source/base/parameter_handler.cc b/deal.II/source/base/parameter_handler.cc
index cacee191a2..40c512cce1 100644
--- a/deal.II/source/base/parameter_handler.cc
+++ b/deal.II/source/base/parameter_handler.cc
@@ -1228,7 +1228,14 @@ ParameterHandler::demangle (const std::string &s)
 bool
 ParameterHandler::is_parameter_node (const boost::property_tree::ptree &p)
 {
-  return (p.get_optional<std::string>("value"));
+  // A parameter node must have a value key
+  if (p.get_optional<std::string>("value"))
+    {
+      // and the associated child ptree must be final, i.e. no children:
+      if(p.get_child("value").size() == 0)
+        return true;
+    }
+  return false;
 }