mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
25.12.2012 09c51203fd01c705224f88ae0cecddcd92d2eb36
opendj3/src/main/docbkx/dev-guide/chap-reading.xml
@@ -436,7 +436,7 @@
}
finally
{
  results.close();
  reader.close();
}</programlisting>
   </listitem>