tree 94fc1c4b0d6000175e37e89b0594884b41a6aac1
parent 899b7d948dceb4d007452539777bcc0700e67967
author amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1240948246 +0000
committer amitmanjhi@google.com <amitmanjhi@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1240948246 +0000

Fixes http://code.google.com/p/google-web-toolkit/issues/detail?id=3611 -- refresh did not work correctly when -gen was used. 

Patch by: amitmanjhi
Review by: robertvawter (desk review)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@5297 8db76d5a-ed1c-0410-87a9-c151d255dfc7