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

Mark Craig
25.44.2011 72ecefbd9279675d7b629d7590cf63c9f87964fd
Add timestamp in head > meta of generated pages
1 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 3 ●●●●● patch | view | raw | blame | history
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java
@@ -30,6 +30,7 @@
import java.io.File;
import java.io.PrintWriter;
import java.util.Collection;
import java.util.Date;
import java.util.Iterator;
import java.util.Properties;
import java.util.TreeMap;
@@ -1367,6 +1368,7 @@
  }
  private final String Now = new Date().toString();
  private String getHtmlHeader(String pageTitle) {
    return ("<html>\n" +
      "<head>\n" +
@@ -1376,6 +1378,7 @@
      "<link rel=\"stylesheet\" type=\"text/css\"\n" +
      "href=\"" + CSS_FILE + "\">\n" +
      "<link rel=\"shortcut icon\" href=\"" + FAVICON + "\">\n" +
      "<meta name=\"date generated\" content=\"" + Now + "\">\n" +
      "</head>\n");
  }