| | |
|---|
| | | 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 |
|---|
| | |
|---|
| | | 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); |
|---|
| | | } |
|---|
