Encoding angepasst

ulrich

2020-06-16 0fa5e7f03614cbeb86eab44fa21b723a4b27a9c2

 src/de/uhilger/wbx/web/AdocServlet.java

@@ -74,8 +74,8 @@
    String fname = nameext.substring(0, nameext.lastIndexOf(DOT));
    File htmlfile = new File(adocfile.getParentFile(), fname + DOT + HTML);
    File outfile = htmlfile; // Standardmaessig wird HTML zurueckgegeben
    response.setContentType("text/html;charset=UTF-8");

    response.setCharacterEncoding("UTF-8");
    
    /*
      nach HTML transformieren, wenn die Quelle sich geandert hat oder 
      die HTML-Datei noch nicht existiert
@@ -93,7 +93,6 @@
    if(null != pdf && pdf.equalsIgnoreCase(Boolean.TRUE.toString())) {
      File pdffile = new File(adocfile.getParentFile(), fname + DOT + PDF);
      outfile = pdffile; // PDF soll zurueckgegeben werden
      response.setContentType("application/pdf;charset=UTF-8");
      if(!pdffile.exists() || adocfile.lastModified() > pdffile.lastModified()) {
        transform(absname, PDF);
      }
@@ -126,24 +125,17 @@
   * nach PDF transformiert werden soll
   */
  private void transform(String fileName, String backend) {    
    /*
    Map<String, Object> attributes = new HashMap<>();
    attributes.put("no_footer", false);
    //attributes.put("source_highlighter", "highlightjs");

    Map<String, Object> options = new HashMap<>();
    options.put("attributes", attributes); 
    options.put("in_place", false); 
    if(null != backend) {
      options.put("backend", backend);
    }
    */
    
    Map<String, Object> attributes = attributes().sourceHighlighter("highlightjs")
                                       .asMap();
    Map<String, Object> options = options().inPlace(false).attributes(attributes)
                                       .asMap();

    Map<String, Object> options;
    if(null != backend) {
      options = options().inPlace(false)
              .backend(backend).attributes(attributes).asMap();
      
    } else {
      options = options().inPlace(false)
              .attributes(attributes).asMap();
    }
    
    Asciidoctor asciidoctor = create();    
    asciidoctor.convertFile(new File(fileName), options);