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