# 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);