--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/software/mpdl-services/mpiwg-mpdl-cms-web/src/de/mpg/mpiwg/berlin/mpdl/servlets/cms/GetDocument.java	Tue Nov 27 12:35:19 2012 +0100
@@ -0,0 +1,71 @@
+package de.mpg.mpiwg.berlin.mpdl.servlets.cms;
+
+import java.io.BufferedInputStream;
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.IOException;
+import java.io.OutputStream;
+import java.net.URLConnection;
+
+import javax.servlet.ServletConfig;
+import javax.servlet.ServletException;
+import javax.servlet.http.HttpServlet;
+import javax.servlet.http.HttpServletRequest;
+import javax.servlet.http.HttpServletResponse;
+
+import de.mpg.mpiwg.berlin.mpdl.cms.document.DocumentHandler;
+
+public class GetDocument extends HttpServlet {
+  private static final long serialVersionUID = 1L;
+  private OutputStream out = null;
+
+  public GetDocument() {
+    super();
+  }
+
+  public void init(ServletConfig config) throws ServletException  {
+    super.init(config);
+  }
+
+  protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
+    request.setCharacterEncoding("utf-8");
+    response.setCharacterEncoding("utf-8");
+    String id = request.getParameter("id");  
+    DocumentHandler docHandler = new DocumentHandler();
+    String fullFileName = docHandler.getDocFullFileName(id);
+    File file = new File(fullFileName);
+    if (file.exists()) {
+      write(response, file);
+    } else {
+      write(response, "Document: " + id + " does not exist");
+    }
+  }
+
+  protected void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
+    // TODO 
+  }
+
+  private void write(HttpServletResponse response, File file) throws IOException {
+    String fileName = file.getName();
+    BufferedInputStream is = new BufferedInputStream(new FileInputStream(file));
+    String contentType = URLConnection.guessContentTypeFromName(fileName);  // other methods: URLConnection.guessContentTypeFromStream(is); or MIMEUtils.getMIMEType(file);
+    if (contentType != null)
+      response.setContentType(contentType);
+    response.setHeader("Content-Disposition", "filename=" + fileName);
+    out = response.getOutputStream();
+    byte[] buf = new byte[20000*1024]; // 20MB buffer
+    int bytesRead;
+    while ((bytesRead = is.read(buf)) != -1) {
+      out.write(buf, 0, bytesRead);
+    }
+    is.close();
+    out.flush();
+  }
+
+  private void write(HttpServletResponse response, String str) throws IOException {
+    out = response.getOutputStream();
+    byte[] strBytes = str.getBytes("utf-8");
+    out.write(strBytes, 0, strBytes.length);
+    out.flush();
+  }
+}