summaryrefslogtreecommitdiffstats
path: root/server/src/com/vaadin/ui/PushConfiguration.java
Commit message (Expand)AuthorAgeFilesLines
* Merge changes from origin/7.1Artur Signell2014-04-231-1/+1
|\
| * Update copyright year to 2014Artur Signell2014-04-161-1/+1
* | Refactor PushConnection handling (#13223)Johannes Dahlström2014-01-311-15/+27
|/
* Allow customizing client-side push config on server side (#11867)Artur Signell2013-06-051-0/+282