> Actually, I would prefer web_start.jsp, because this makes its purpose much > clearer. Ok, but the ant task should rename it during copy for war generation, Ok ?
> We don't need to exclude anything from the WARs (in fact, if we exclude > index.html from pivot-demos.war, then users wouldn't be able to run any of > the demos as applets). We just need to make sure that the JSP and JNLP files > don't get pushed out to the main site. Note that for Applet execution, the jsp page has the same links of the html page (it is a copy of it, modified by me), so it is not needed in the WAR, otherwise it will hide the jsp page (by default index.html has precedence over index.jsp, and is a good default) ... but in this case doesn't help us. > Todd or I will do this manually when we release a new version. Ok, but also an automatic task could do the stuff, excluding *.jsp and *.jnlp ... And a last thing: what do you think on adding some HR tags also in index.html (backporting them from index.jsp) ? And for index.html I've got an idea ... in next days I'll try a mock and send a sample screenshot to see what you think. Bye
