]> WPIA git - gigi.git/blob - src/org/cacert/gigi/output/PageMenuItem.java
fix: ResultSet.getDate is often wrong as it fetches day-precision times
[gigi.git] / src / org / cacert / gigi / output / PageMenuItem.java
1 package org.cacert.gigi.output;
2
3 import org.cacert.gigi.pages.Page;
4 import org.cacert.gigi.util.AuthorizationContext;
5
6 public class PageMenuItem extends SimpleMenuItem {
7
8     private Page p;
9
10     public PageMenuItem(Page p, String path) {
11         // "https://" + ServerConstants.getWwwHostNamePortSecure() +
12         super(path, p.getTitle());
13         this.p = p;
14     }
15
16     @Override
17     public boolean isPermitted(AuthorizationContext ac) {
18         return p.isPermitted(ac);
19     }
20 }