diff options
Diffstat (limited to 'push')
| -rw-r--r-- | push/ivy.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/push/ivy.xml b/push/ivy.xml index 605f5d1a05..8827d92bc0 100644 --- a/push/ivy.xml +++ b/push/ivy.xml @@ -29,9 +29,9 @@ <dependencies> <!-- API DEPENDENCIES --> - <!--Servlet API version 2.4 --> - <dependency org="javax.servlet" name="servlet-api" - rev="2.4" conf="build-provided,ide,test -> default" /> + <!-- @WebListener is used for JSR356 websockets so we need to compile with servlet 3 API --> + <dependency org="javax.servlet" name="javax.servlet-api" + rev="3.0.1" conf="build-provided,ide,test -> default" /> <!-- Atmosphere --> <dependency org="com.vaadin.external.atmosphere" |