Initial import of Git:Blit.

James Moger

2011-04-04 5fe7df81eb38dc66f2cfc4bf1973863a19f55cf2

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
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; 
import org.apache.wicket.Session; 
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; 
 
    public GitBlitWebSession(Request request) { 
        super(request); 
    } 
 
    public void invalidate() { 
        super.invalidate(); 
    } 
 
    public TimeZone getTimezone() { 
        if (timezone == null) { 
            timezone = ((WebClientInfo) getClientInfo()).getProperties().getTimeZone(); 
        } 
        // use server timezone if we can't determine the client timezone 
        if (timezone == null) { 
            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() { 
        return (GitBlitWebSession) Session.get(); 
    } 
}