]> source.dussan.org Git - vaadin-framework.git/commit
Build a minified version of vaadinPush.js in vaadin-push.jar (#11630)
authorArtur Signell <artur@vaadin.com>
Wed, 17 Apr 2013 16:16:59 +0000 (19:16 +0300)
committerArtur Signell <artur@vaadin.com>
Wed, 17 Apr 2013 17:09:08 +0000 (20:09 +0300)
commitcdcdc115b79f0773c2d140e43f58cfe9cb4b1cdb
treec3bb8f44a3918c4e4a5e3db903d6cda5d070fd0e
parent4400b1b62587e74073aac7f3c60710ac535795a5
Build a minified version of vaadinPush.js in vaadin-push.jar (#11630)

* Replaced jquery and jquery.atmosphere.js with original, unmodified versions
* Added vaadinPush.js build target to ide.xml and push/build.xml
* Uses yuicompressor to compress the resulting push javascript

Change-Id: I59ba9c2bbf74e05d10325d38efdb106b638cd8e7
.gitignore
WebContent/VAADIN/jquery-1.7.2.js [new file with mode: 0644]
WebContent/VAADIN/jquery-1.7.2.rebased.js [deleted file]
WebContent/VAADIN/jquery.atmosphere.js [new file with mode: 0644]
WebContent/VAADIN/jquery.atmosphere.rebased.js [deleted file]
WebContent/VAADIN/vaadinPush.js.tpl [new file with mode: 0644]
build/ide.xml
push/build.xml
server/src/com/vaadin/server/BootstrapHandler.java
server/src/com/vaadin/server/VaadinServlet.java