jetty.project/jetty-websocket/websocket-servlet
Joakim Erdfelt ebd0ad90e0 423118 - ServletUpgradeRequest.getUserPrincipal() does not work
+ Deprecating ServletUpgradeRequest.getPrincipal()
 + Adding proper implementation for
   ServletUpgradeRequest.getUserPrincipal()
2013-12-04 12:29:20 -07:00
..
src 423118 - ServletUpgradeRequest.getUserPrincipal() does not work 2013-12-04 12:29:20 -07:00
pom.xml [maven-release-plugin] prepare for next development iteration 2013-11-15 16:58:44 -07:00