# HG changeset patch # User casties # Date 1423411062 -3600 # Node ID 475ab3d32630badf3be3c9c64fab1f6e37fdea1f # Parent 247cbbb385ded777ef2801729617a23fb356e0bc update to Restlet 2.3.1. diff -r 247cbbb385de -r 475ab3d32630 pom.xml --- a/pom.xml Wed Feb 04 19:37:02 2015 +0100 +++ b/pom.xml Sun Feb 08 16:57:42 2015 +0100 @@ -7,9 +7,8 @@ UTF-8 2.1.6 - - - 2.2.3 + + 2.3.1 diff -r 247cbbb385de -r 475ab3d32630 src/main/java/de/mpiwg/itgroup/annotations/restlet/AnnotatorResourceImpl.java --- a/src/main/java/de/mpiwg/itgroup/annotations/restlet/AnnotatorResourceImpl.java Wed Feb 04 19:37:02 2015 +0100 +++ b/src/main/java/de/mpiwg/itgroup/annotations/restlet/AnnotatorResourceImpl.java Sun Feb 08 16:57:42 2015 +0100 @@ -45,7 +45,7 @@ import org.json.JSONException; import org.json.JSONObject; import org.restlet.data.Status; -import org.restlet.engine.header.Header; +import org.restlet.data.Header; import org.restlet.representation.Representation; import org.restlet.resource.Options; import org.restlet.resource.ServerResource; @@ -122,8 +122,7 @@ * set headers to allow CORS for AJAX. */ protected void setCorsHeaders() { - @SuppressWarnings("unchecked") - Series
responseHeaders = (Series
) getResponse().getAttributes().get("org.restlet.http.headers"); + Series
responseHeaders = (Series
) getResponse().getHeaders(); if (responseHeaders == null) { responseHeaders = new Series
(Header.class); getResponse().getAttributes().put("org.restlet.http.headers", responseHeaders);