Owner editing. Frozen status. Grouped repositories. Documentation.

James Moger

2011-05-19 00afd77a2182ece3d9522d41b86b4ddd7e132288

 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,8 +7,7 @@
import org.apache.wicket.protocol.http.WebSession;

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



import com.gitblit.StoredSettings;



import com.gitblit.wicket.models.UserModel;



public final class GitBlitWebSession extends WebSession {



@@ -19,12 +15,36 @@


   protected TimeZone timezone = null;



   private UserModel user = null;

	
   private String errorMessage = null;



   public GitBlitWebSession(Request request) {

      super(request);

   }



   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 UserModel getUser() {

      return user;

   }



   public void setUser(UserModel user) {

      this.user = user;

   }



   public TimeZone getTimezone() {

@@ -37,35 +57,15 @@
      }

      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 void cacheErrorMessage(String message) {

      this.errorMessage = message;

   }



   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 String clearErrorMessage() {

      String msg = errorMessage;

      errorMessage = null;

      return msg;

   }



   public static GitBlitWebSession get() {