From 72ecefbd9279675d7b629d7590cf63c9f87964fd Mon Sep 17 00:00:00 2001
From: Mark Craig <mark.craig@forgerock.com>
Date: Tue, 25 Oct 2011 06:44:45 +0000
Subject: [PATCH] Add timestamp in head > meta of generated pages
---
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java b/opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java
index 887e3c7..28d8d2b 100644
--- a/opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java
+++ b/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");
}
--
Gitblit v1.10.0