|
0
|
1 package de.mpiwg.dwinter.fulltextSearchServer;
|
|
|
2
|
|
|
3 import java.io.FileNotFoundException;
|
|
|
4 import java.io.IOException;
|
|
|
5
|
|
|
6 import org.apache.log4j.Logger;
|
|
|
7 import org.jdom.JDOMException;
|
|
|
8 import org.restlet.data.Form;
|
|
|
9 import org.restlet.data.MediaType;
|
|
|
10 import org.restlet.representation.Representation;
|
|
|
11 import org.restlet.representation.StringRepresentation;
|
|
|
12 import org.restlet.resource.Get;
|
|
|
13 import org.restlet.resource.Options;
|
|
|
14 import org.restlet.resource.ServerResource;
|
|
|
15
|
|
|
16 import de.mpiwg.dwinter.fulltext.ticket.TicketWriter;
|
|
|
17
|
|
|
18 public class ShowResultInfoOfTicket extends ServerResource {
|
|
|
19 Logger logger = Logger.getRootLogger();
|
|
|
20
|
|
|
21 //need options for crossdomain scripting
|
|
|
22 @Options
|
|
|
23 public void doOptions(Representation entity) {
|
|
|
24 Form responseHeaders = (Form) getResponse().getAttributes().get("org.restlet.http.headers");
|
|
|
25 if (responseHeaders == null) {
|
|
|
26 responseHeaders = new Form();
|
|
|
27 getResponse().getAttributes().put("org.restlet.http.headers", responseHeaders);
|
|
|
28 }
|
|
|
29 responseHeaders.add("Access-Control-Allow-Origin", "*");
|
|
|
30 responseHeaders.add("Access-Control-Allow-Methods", "POST,OPTIONS,GET");
|
|
|
31 responseHeaders.add("Access-Control-Allow-Headers", "Content-Type");
|
|
|
32 responseHeaders.add("Access-Control-Allow-Credentials", "false");
|
|
|
33 responseHeaders.add("Access-Control-Max-Age", "60");
|
|
|
34 }
|
|
|
35
|
|
|
36
|
|
|
37 @Get("xml")
|
|
|
38 public Representation getHTML( ) throws NumberFormatException, JDOMException, FileNotFoundException, IOException {
|
|
|
39 logger.debug("show result of ticker: get HTML");
|
|
|
40
|
|
|
41 // response header fuer cross-site.scripting
|
|
|
42 Form responseHeaders = (Form) getResponse().getAttributes().get("org.restlet.http.headers");
|
|
|
43 if (responseHeaders == null) {
|
|
|
44 responseHeaders = new Form();
|
|
|
45 getResponse().getAttributes().put("org.restlet.http.headers", responseHeaders);
|
|
|
46 }
|
|
|
47 responseHeaders.add("Access-Control-Allow-Origin", "*");
|
|
|
48
|
|
|
49
|
|
|
50 String ticket = (String) getRequest().getAttributes().get("ticket") ;
|
|
|
51 String lang = (String) getRequest().getAttributes().get("lang") ;
|
|
|
52
|
|
|
53 String xml = TicketWriter.getResultInfoXML(ticket, lang);
|
|
|
54
|
|
|
55
|
|
|
56 StringRepresentation representation = new StringRepresentation(xml,
|
|
|
57 MediaType.TEXT_XML) ;
|
|
|
58 return representation;
|
|
|
59 }
|
|
|
60 }
|
