On 11/02/2013 18:22, Williams, Nick wrote: > -----Original Message----- From: Mark Thomas > [mailto:ma...@apache.org] Sent: Monday, February 11, 2013 10:46 AM > To: Tomcat Developers List Subject: Re: EL 3.0, > HttpSessionIdListener, HttpServletRequest#changeSessionId() > >>> 1) Where do y'all get the javax.* code that's in your >>> repository? >> >> The sources have varied over time (at one point Tomcat was the >> reference implementation). >> >> These days it is essentially a manual process to create them from >> the spec. > > Fascinating. Years ago I used to think the "spec" included a bunch of > already-compiled interfaces and you just copied the spec jar to your > implementation and then implemented the spec. I got the idea a while > ago that it wasn't quite that simple, but I had no idea y'all > literally just wrote the javax.* interfaces and classes from scratch > based on the spec.
We have to so we have an ALv2 licensed version of the API. >> For WebSocket I automate it a little by using javap on the spec >> repository and on Tomcat and then fixing the diffs to the public >> API by hand. > > Is the spec repository public? I looked around a bit and I found some > jars (or is that what you meant, since you're using javap?), but no > repository. http://java.net/projects/servlet-spec/ You'll almost certainly need to register to access it but it should be readable once you do. Mark > >> Take a look at the svn history for the Servlet 3.0 files. > > I just did. That was very helpful, thanks. > > Nick > > > This e-mail may contain privileged or confidential information. If > you are not the intended recipient: (1) you may not disclose, use, > distribute, copy or rely upon this message or attachment(s); and (2) > please notify the sender by reply e-mail, and then delete this > message and its attachment(s). Underwriters Laboratories Inc. and its > affiliates disclaim all liability for any errors, omissions, > corruption or virus in this message or any attachments. > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > For additional commands, e-mail: dev-h...@tomcat.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org