]> source.dussan.org Git - vaadin-framework.git/commit
#8241 Rename Vaadin-Redirect to Vaadin-Refresh, make URI optional: if not given,...
authorJohannes Dahlström <johannes.dahlstrom@vaadin.com>
Fri, 13 Jan 2012 12:14:00 +0000 (12:14 +0000)
committerJohannes Dahlström <johannes.dahlstrom@vaadin.com>
Fri, 13 Jan 2012 12:14:00 +0000 (12:14 +0000)
commitf3f5f0ebff01df7aa22177629bbac45d4e157243
tree1602975085c132926eef52a721deed9092331889
parent62e3341e68278435984165ad10a07504a6ab949e
#8241 Rename Vaadin-Redirect to Vaadin-Refresh, make URI optional: if not given, refresh the current page

svn changeset:22625/svn branch:6.7
src/com/vaadin/terminal/gwt/client/ApplicationConnection.java