WebBox Klassenbibliothek
view | history | commit | commitdiff
ulrich@undisclosed
2020-04-21 3bbfbc4952bf689a2f9024edc542ef609bc5c672
commit | author | age
1385d2 1 /*
U 2     WebBox - Dein Server.
3     Copyright (C) 2020 Ulrich Hilger, http://uhilger.de
4
5     This program is free software: you can redistribute it and/or modify
6     it under the terms of the GNU Affero General Public License as
7     published by the Free Software Foundation, either version 3 of the
8     License, or (at your option) any later version.
9
10     This program is distributed in the hope that it will be useful,
11     but WITHOUT ANY WARRANTY; without even the implied warranty of
12     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13     GNU Affero General Public License for more details.
14
15     You should have received a copy of the GNU Affero General Public License
16     along with this program.  If not, see <http://www.gnu.org/licenses/>.
17  */
18
19 package de.uhilger.wbx.web;
20
21 import java.io.BufferedReader;
22 import java.io.File;
23 import java.io.FileInputStream;
24 import java.io.IOException;
25 import java.io.InputStreamReader;
26 import java.io.PrintWriter;
3bbfbc 27 import java.util.HashMap;
1385d2 28 import javax.servlet.ServletException;
U 29 import javax.servlet.http.HttpServlet;
30 import javax.servlet.http.HttpServletRequest;
31 import javax.servlet.http.HttpServletResponse;
32 import java.util.Map;
33
34 import static org.asciidoctor.AttributesBuilder.attributes;
35 import static org.asciidoctor.OptionsBuilder.options;
36 import static org.asciidoctor.Asciidoctor.Factory.create;
37 import org.asciidoctor.Asciidoctor;
3bbfbc 38 import org.asciidoctor.OptionsBuilder;
1385d2 39
U 40
41
42 /**
43  * Das AdocServlet wandelt AsciiDoc-Inhalte (*.adoc) 
70be19 44  * zu HTML-Seiten und PDF-Dokumenten
d8a1ab 45  * 
U 46  * ?pdf=true im URL fuegt PDF-Ausgabe hinzu
1385d2 47  */
U 48 public class AdocServlet extends HttpServlet  {
49   
50   private static final String DOT = ".";
3bbfbc 51   private static final String HTML = "html";
70be19 52   private static final String PDF = "pdf";
U 53   private static final String SERVLET_NAME = "AdocServlet";
1385d2 54   
U 55   /**
56    * Processes requests for both HTTP <code>GET</code> and <code>POST</code>
57    * methods.
58    *
59    * @param request servlet request
60    * @param response servlet response
61    * @throws ServletException if a servlet-specific error occurs
62    * @throws IOException if an I/O error occurs
63    */
64   protected void processRequest(HttpServletRequest request, HttpServletResponse response)
65           throws ServletException, IOException 
66   {
67     response.setContentType("text/html;charset=UTF-8");
68     try (PrintWriter out = response.getWriter()) {
69
70       // Asciidoc-Quelldatei aus HTTP-Request ermitteln
71       String vPath = request.getServletPath();
72       String absname = getServletContext().getRealPath(vPath);
73       File adocfile = new File(absname);
74       
75       // HTML-Datei ermitteln
76       String nameext = adocfile.getName();
77       String fname = nameext.substring(0, nameext.lastIndexOf(DOT));
3bbfbc 78       File htmlfile = new File(adocfile.getParentFile(), fname + DOT + HTML);
1385d2 79       
U 80       /*
3bbfbc 81         nach HTML transformieren, wenn die Quelle sich geandert hat oder 
1385d2 82         die HTML-Datei noch nicht existiert
U 83       */
84       if(!htmlfile.exists() || adocfile.lastModified() > htmlfile.lastModified()) {
3bbfbc 85         transform(absname);
70be19 86       }
U 87    
3bbfbc 88       /*
U 89         nach PDF transformieren, wenn der Parameter pdf=true existiert und 
90         wenn die Quelle sich geandert hat oder 
91         die PDF-Datei noch nicht existiert
92       */
70be19 93       String pdf = request.getParameter(PDF);
U 94       if(null != pdf && pdf.length() > 0 && pdf.equalsIgnoreCase(Boolean.TRUE.toString())) {
3bbfbc 95         File pdffile = new File(adocfile.getParentFile(), fname + DOT + PDF);
70be19 96         if(!pdffile.exists() || adocfile.lastModified() > pdffile.lastModified()) {
3bbfbc 97           transform(absname, PDF);
70be19 98         }
1385d2 99       }
U 100       
70be19 101       // HTML-Datei ausgeben
1385d2 102       FileInputStream in = new FileInputStream(htmlfile);
U 103       BufferedReader reader = new BufferedReader(new InputStreamReader(in));
104       String line;
105       while ((line = reader.readLine()) != null) {
106         out.println(line);
107       }
108     }
109   }
110   
3bbfbc 111   private void transform(String fileName) {
U 112     transform(fileName, null);
1385d2 113   }  
3bbfbc 114   
U 115   private void transform(String fileName, String backend) {    
116     Map<String, Object> attributes = new HashMap<>();
117     attributes.put("no_footer", false);
118     attributes.put("source_highlighter", "highlightjs");
119
120     Map<String, Object> options = new HashMap<>();
121     options.put("attributes", attributes); 
122     options.put("in_place", false); 
123     if(null != backend) {
124       options.put("backend", backend);
125     }
126     
127     Asciidoctor asciidoctor = create();    
128     asciidoctor.convertFile(new File(fileName), options);    
129   }
1385d2 130
U 131   /**
132    * Handles the HTTP <code>GET</code> method.
133    *
134    * @param request servlet request
135    * @param response servlet response
136    * @throws ServletException if a servlet-specific error occurs
137    * @throws IOException if an I/O error occurs
138    */
139   @Override
140   protected void doGet(HttpServletRequest request, HttpServletResponse response)
141           throws ServletException, IOException {
142     processRequest(request, response);
143   }
144
145   /**
146    * Handles the HTTP <code>POST</code> method.
147    *
148    * @param request servlet request
149    * @param response servlet response
150    * @throws ServletException if a servlet-specific error occurs
151    * @throws IOException if an I/O error occurs
152    */
153   @Override
154   protected void doPost(HttpServletRequest request, HttpServletResponse response)
155           throws ServletException, IOException {
156     processRequest(request, response);
157   }
158
159   /**
160    * Returns a short description of the servlet.
161    *
162    * @return a String containing servlet description
163    */
164   @Override
165   public String getServletInfo() {
70be19 166     return SERVLET_NAME;
U 167   }
1385d2 168
U 169 }