From ee92b6e4b2d2461013705fed670a996f15f69b61 Mon Sep 17 00:00:00 2001
From: Neale Pickett <neale@woozle.org>
Date: Thu, 26 Jan 2017 00:59:29 +0000
Subject: [PATCH] devel server: say whether files are visible or not

---
 tools/devel-server.py | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/tools/devel-server.py b/tools/devel-server.py
index 365980a..8ed4b0c 100755
--- a/tools/devel-server.py
+++ b/tools/devel-server.py
@@ -159,9 +159,16 @@ you are a fool.
             body.write(puzzle.html_body())
             body.write("<h2>Files</h2>")
             body.write("<ul>")
-            for name in puzzle.files:
-                body.write('<li><a href="/puzzles/{cat}/{points}/{filename}">{filename}</a></li>'
-                            .format(cat=parts[2], points=puzzle.points, filename=name))
+            for name,puzzlefile in sorted(puzzle.files.items()):
+                if puzzlefile.visible:
+                    visibility = 'listed as a generated file'
+                else:
+                    visibility = 'unlisted'
+                body.write('<li><a href="/puzzles/{cat}/{points}/{filename}">{filename}</a> ({visibility})</li>'
+                            .format(cat=parts[2],
+                                    points=puzzle.points,
+                                    filename=name,
+                                    visibility=visibility))
             body.write("</ul>")
             body.write("<h2>Answers</h2>")
             body.write("<ul>")