Project

General

Profile

« Previous | Next » 

Revision 5070

Added by daigle over 14 years ago

Add user name to SessionData object

View differences:

ReplicationServlet.java
132 132
					}
133 133
				}
134 134
				if (sessionData == null) {
135
					sessionData = new SessionData(sess.getId(), (String) sess
136
							.getAttribute("username"), (String[]) sess
137
							.getAttribute("groups"), (String) sess
138
							.getAttribute("password"));
135
					sessionData = new SessionData(sess.getId(), 
136
							(String) sess.getAttribute("username"), 
137
							(String[]) sess.getAttribute("groups"),
138
							(String) sess.getAttribute("password"), 
139
							(String) sess.getAttribute("name"));
139 140
				}
140 141

  
141 142
				username = sessionData.getUserName();

Also available in: Unified diff