diff options
| author | Leif Åstrand <leif@vaadin.com> | 2013-07-23 13:18:09 +0300 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2013-07-23 13:18:15 +0300 |
| commit | 2a94befa3537937d099544a2d307bb177175eb15 (patch) | |
| tree | adb57cc78c6c37230f99d0ff1c86903cf6152424 | |
| parent | b345bf217a01e5395c893914e065e30f77e35350 (diff) | |
| parent | 9c8eb70dd54c1ba56d02111b9246a7767e1a0442 (diff) | |
| download | vaadin-framework-2a94befa3537937d099544a2d307bb177175eb15.tar.gz vaadin-framework-2a94befa3537937d099544a2d307bb177175eb15.zip | |
No-op merge from origin/7.1
9c8eb70 Close PushRequestHandler when VaadinServlet is destroyed (#11878)
Change-Id: Id68ea7f18c57ca5e2a2102c979f9b0b431c58c15
0 files changed, 0 insertions, 0 deletions