| | |
| | | try (PrintWriter out = response.getWriter()) { |
| | | // abhaengig vom Parameter pdf HTML- oder PDF-Datei ausgeben |
| | | FileInputStream in = new FileInputStream(outfile); |
| | | BufferedReader reader = new BufferedReader(new InputStreamReader(in)); |
| | | BufferedReader reader = new BufferedReader(new InputStreamReader(in, "UTF-8")); |
| | | String line; |
| | | while ((line = reader.readLine()) != null) { |
| | | out.println(line); |
| | |
| | | * nach PDF transformiert werden soll |
| | | */ |
| | | private void transform(String fileName, String backend) { |
| | | Map<String, Object> attributes = attributes().sourceHighlighter("highlightjs") |
| | | File outFile = new File(fileName); |
| | | Map<String, Object> attributes = attributes().attribute("pdf-themesdir", outFile.getParent()).attribute("pdf-theme","test").sourceHighlighter("highlightjs") |
| | | .asMap(); |
| | | Map<String, Object> options; |
| | | if(null != backend) { |
| | |
| | | } |
| | | |
| | | Asciidoctor asciidoctor = create(); |
| | | asciidoctor.requireLibrary("asciidoctor-diagram"); |
| | | asciidoctor.convertFile(new File(fileName), options); |
| | | } |
| | | |