commit a7f46cb9ccc34c3b9af2e3d2ad90c13f89a94829
author Richard Uhler <ruhler@google.com> Mon Dec 21 14:34:59 2015 -0800
committer Richard Uhler <ruhler@google.com> Mon Dec 28 15:50:46 2015 -0800
tree 01d1cc300121e803ddf83196405beffceea39ae9
parent 6147f7520a1279b58d58c5d73a707dea2fbdd376

Don't duplicate the menu in the help page for ahat.

Future changes to the menu will need to be made in only a single
location.

Change-Id: I24ffcf17d5564b98bd3552d4ba9284eb6924d52b

tools/ahat/src/AhatHttpHandler.java

diff --git a/tools/ahat/src/AhatHttpHandler.java b/tools/ahat/src/AhatHttpHandler.java
index 178747c..1d05a66 100644
--- a/tools/ahat/src/AhatHttpHandler.java
+++ b/tools/ahat/src/AhatHttpHandler.java
@@ -41,15 +41,7 @@
     PrintStream ps = new PrintStream(exchange.getResponseBody());
     try {
       HtmlDoc doc = new HtmlDoc(ps, DocString.text("ahat"), DocString.uri("style.css"));
-      DocString menu = new DocString();
-      menu.appendLink(DocString.uri("/"), DocString.text("overview"));
-      menu.append(" - ");
-      menu.appendLink(DocString.uri("rooted"), DocString.text("rooted"));
-      menu.append(" - ");
-      menu.appendLink(DocString.uri("sites"), DocString.text("allocations"));
-      menu.append(" - ");
-      menu.appendLink(DocString.uri("help"), DocString.text("help"));
-      doc.menu(menu);
+      doc.menu(Menu.getMenu());
       mAhatHandler.handle(doc, new Query(exchange.getRequestURI()));
       doc.close();
     } catch (RuntimeException e) {