Revision 5070
Added by daigle over 14 years ago
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
Add user name to SessionData object