# HG changeset patch
# User Felix Wolfsteller <felix.wolfsteller@intevation.de>
# Date 1368719672 -7200
# Node ID 5da11bf372bec7a75263f41cca8ac0b3555a64aa
# Parent  cbdf839008a771bd1499783f3e53dc03f64c783f
Doc.

diff -r cbdf839008a7 -r 5da11bf372be gwt-client/src/main/java/org/dive4elements/river/client/shared/model/FacetFilter.java
--- a/gwt-client/src/main/java/org/dive4elements/river/client/shared/model/FacetFilter.java	Thu May 16 16:31:09 2013 +0200
+++ b/gwt-client/src/main/java/org/dive4elements/river/client/shared/model/FacetFilter.java	Thu May 16 17:54:32 2013 +0200
@@ -40,6 +40,8 @@
         this.ids = ids;
     }
 
+    /** Return false if only a or b are null, true if both are null
+     * result of String.equals otherwise. */
     protected static boolean equals(String a, String b) {
         if (a == null && b == null) return true;
         if (a == null && b != null) return false;