Replaced three history placeholder labels with real links.

James Moger

2011-04-16 01bd346efe98af0f05f23f897c0819d2df8d856c

 src/com/gitblit/wicket/GitBlitWebSession.java

@@ -1,8 +1,5 @@
package com.gitblit.wicket;



import java.text.DateFormat;

import java.text.SimpleDateFormat;

import java.util.Date;

import java.util.TimeZone;



import org.apache.wicket.Request;

@@ -10,14 +7,13 @@
import org.apache.wicket.protocol.http.WebSession;

import org.apache.wicket.protocol.http.request.WebClientInfo;



import com.gitblit.StoredSettings;





public final class GitBlitWebSession extends WebSession {



   private static final long serialVersionUID = 1L;



   protected TimeZone timezone = null;



   private User user = null;



   public GitBlitWebSession(Request request) {

      super(request);

@@ -25,6 +21,26 @@


   public void invalidate() {

      super.invalidate();

      user = null;

   }



   public boolean isLoggedIn() {

      return user != null;

   }



   public boolean canAdmin() {

      if (user == null) {

         return false;

      }

      return user.canAdmin();

   }



   public User getUser() {

      return user;

   }



   public void setUser(User user) {

      this.user = user;

   }



   public TimeZone getTimezone() {

@@ -36,36 +52,6 @@
         timezone = TimeZone.getDefault();

      }

      return timezone;

   }



   public String formatTime(Date date) {

      DateFormat df = new SimpleDateFormat(StoredSettings.getString("timestampFormat", "h:mm a"));

      df.setTimeZone(getTimezone());

      return df.format(date);

   }



   public String formatDate(Date date) {

      DateFormat df = new SimpleDateFormat(StoredSettings.getString("datestampShortFormat", "MM/dd/yy"));

      df.setTimeZone(getTimezone());

      return df.format(date);

   }



   public String formatDateLong(Date date) {

      DateFormat df = new SimpleDateFormat(StoredSettings.getString("datestampLongFormat", "EEEE, MMMM d, yyyy"));

      df.setTimeZone(getTimezone());

      return df.format(date);

   }



   public String formatDateTime(Date date) {

      DateFormat df = new SimpleDateFormat(StoredSettings.getString("datetimestampShortFormat", "MM/dd/yy h:mm a"));

      df.setTimeZone(getTimezone());

      return df.format(date);

   }



   public String formatDateTimeLong(Date date) {

      DateFormat df = new SimpleDateFormat(StoredSettings.getString("datetimestampLongFormat", "EEEE, MMMM d, yyyy h:mm a"));

      df.setTimeZone(getTimezone());

      return df.format(date);

   }



   public static GitBlitWebSession get() {