Changed filename download

src/main/java/ic/doc/web/PDFResultPage.java

@@ -16,7 +16,10 @@ public class PDFResultPage extends MarkdownResultPage {
 
     File markdown = getFile();
 
-    resp.setHeader("Content-Disposition", "Inline; filename=" + markdown.getName() + ".pdf");
+    String file_name = markdown.getName();
+    String[] parts = file_name.split(".");
+
+    resp.setHeader("Content-Disposition", "Inline; filename=" + parts[0] + ".pdf");
 
     ProcessBuilder pb = new ProcessBuilder("pandoc", markdown.getAbsolutePath(), "-o", "result.pdf");
     Process p = pb.start();