# HG changeset patch # User Ingo Weinzierl # Date 1308230938 0 # Node ID 5ed1afd815698be047ac649479a42df280251e8a # Parent 9ad188df72f23edb8f379c447096310192823adf ProtocolUtils write the index value of a facet into the document. artifacts/trunk@2135 c6561f87-3c4e-4783-a992-168aeb5c3f6f diff -r 9ad188df72f2 -r 5ed1afd81569 ChangeLog --- a/ChangeLog Thu Jun 16 13:24:54 2011 +0000 +++ b/ChangeLog Thu Jun 16 13:28:58 2011 +0000 @@ -1,3 +1,8 @@ +2011-06-16 Ingo Weinzierl + + * artifact-database/src/main/java/de/intevation/artifactdatabase/ProtocolUtils.java: + Write index of a facet into the document. + 2011-06-16 Ingo Weinzierl * artifact-database/src/main/java/de/intevation/artifactdatabase/state/Facet.java: diff -r 9ad188df72f2 -r 5ed1afd81569 artifact-database/src/main/java/de/intevation/artifactdatabase/ProtocolUtils.java --- a/artifact-database/src/main/java/de/intevation/artifactdatabase/ProtocolUtils.java Thu Jun 16 13:24:54 2011 +0000 +++ b/artifact-database/src/main/java/de/intevation/artifactdatabase/ProtocolUtils.java Thu Jun 16 13:28:58 2011 +0000 @@ -198,8 +198,12 @@ Element newFacet = createArtNode( creator, "facet", - new String[] { "name", "description" }, - new String[] { f.getName(), f.getDescription() }); + new String[] { "index", "name", "description" }, + new String[] { + String.valueOf(f.getIndex()), + f.getName(), + f.getDescription() + }); facet.appendChild(newFacet); }