java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java
branchv_0
changeset 108 d06d90b28217
parent 107 8189a4a28cd8
child 133 a1bf1465df89
--- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Wed Jan 01 02:44:29 2014 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Properties.java	Wed Jan 01 02:56:08 2014 +0100
@@ -82,6 +82,10 @@
 		return p == null ? defaultValue : Integer.valueOf(p.getValue());
 	}
 
+	public boolean hasProperty(String name) {
+		return findByName(this, name) != null;
+	}
+
 	@Override
 	public Properties clone() {
 		Properties clone = new Properties(size());