]> WPIA git - gigi.git/blobdiff - src/org/cacert/gigi/pages/PolicyIndex.java
FIX: more Coverity, as charset, nullcheck, equals
[gigi.git] / src / org / cacert / gigi / pages / PolicyIndex.java
index d6416b69069ff023e888046bb59dff513116eede..25e69446c91e9cc824876e547cc94da921ca00ca 100644 (file)
@@ -21,18 +21,21 @@ public class PolicyIndex extends Page {
     public void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
         PrintWriter out = resp.getWriter();
         out.println("<ul>");
-        for (File f : root.listFiles()) {
-            String name = f.getName();
-            if ( !name.endsWith(".html")) {
-                continue;
+        File[] files = root.listFiles();
+        if (files != null) {
+            for (File f : files) {
+                String name = f.getName();
+                if ( !name.endsWith(".html")) {
+                    continue;
+                }
+                String display = name.replaceFirst("\\.html$", "");
+
+                out.print("<li><a href='");
+                out.print(name);
+                out.print("'>");
+                out.print(display);
+                out.println("</a></li>");
             }
-            String display = name.replaceFirst("\\.html$", "");
-
-            out.print("<li><a href='");
-            out.print(name);
-            out.print("'>");
-            out.print(display);
-            out.println("</a></li>");
         }
         out.println("</ul>");
     }