]> source.dussan.org Git - vaadin-framework.git/commit
Push if there are dirty connectors, avoid push if there are NOT dirty connectors
authorArtur Signell <artur@vaadin.com>
Sun, 7 Apr 2013 15:29:55 +0000 (18:29 +0300)
committerArtur Signell <artur@vaadin.com>
Sun, 7 Apr 2013 15:29:55 +0000 (18:29 +0300)
commit708319b840380a9d96c510d5e24f2890071ec470
tree9a78b41d4a3d23cee7f4c7af0e3655a47e901b5e
parentc926a09f54cd08856c8cd7a15fd00cf0b62b63b5
Push if there are dirty connectors, avoid push if there are NOT dirty connectors

Change-Id: Iebac314565e443eb67d206c755e2d4bb385cffe8
server/src/com/vaadin/ui/UI.java