Adding PDF support #130

src/main/java/net/sourceforge/plantuml/servlet/PdfServlet.java

@@ -0,0 +1,46 @@
+/* ========================================================================
+ * PlantUML : a free UML diagram generator
+ * ========================================================================
+ *
+ * Project Info:  https://plantuml.com
+ *
+ * This file is part of PlantUML.
+ *
+ * PlantUML is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * PlantUML distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
+ * License for more details.
+ *
+ * You should have received a copy of the GNU General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301,
+ * USA.
+ */
+package net.sourceforge.plantuml.servlet;
+
+import net.sourceforge.plantuml.FileFormat;
+
+/**
+ * PDF servlet of the webapp.
+ * This servlet produces the UML diagram in PDF format.
+ */
+@SuppressWarnings("SERIAL")
+public class PdfServlet extends UmlDiagramService {
+
+    /**
+     * Gives the wished output format of the diagram.
+     * This value is used by the DiagramResponse class.
+     *
+     * @return the format for pdf responses
+     */
+    @Override
+    public FileFormat getOutputFormat() {
+        return FileFormat.PDF;
+    }
+
+}

src/main/java/net/sourceforge/plantuml/servlet/PlantUmlServlet.java

@@ -262,6 +262,7 @@ public class PlantUmlServlet extends HttpServlet {
         request.setAttribute("hasImg", hasImg);
         request.setAttribute("imgurl", hostpath + "/png/" + index + encoded);
         request.setAttribute("svgurl", hostpath + "/svg/" + index + encoded);
+        request.setAttribute("pdfurl", hostpath + "/pdf/" + index + encoded);
         request.setAttribute("txturl", hostpath + "/txt/" + index + encoded);
         request.setAttribute("mapurl", hostpath + "/map/" + index + encoded);
         // map for diagram source if necessary