Use SlotsSequenceElement to render post-repair problems

src/allmydata/web/check_results.py

@@ -777,16 +777,20 @@ class DeepCheckAndRepairResultsRendererElement(Element, ResultsBase, ReloadMixin
             return tag
         return ""
 
-    # TODO: use SlotsSequenceElement
     @renderer
     def post_repair_problems(self, req, tag):
         all_objects = self.monitor.get_status().get_all_results()
+        problems = []
+
         for path in sorted(all_objects.keys()):
             r = all_objects[path]
             assert ICheckAndRepairResults.providedBy(r)
             cr = r.get_post_repair_results()
             if not cr.is_healthy():
-                yield path, cr
+                problem = self._join_pathstring(path), ": ", self._html(cr.get_summary())
+                problems.append(problem)
+
+        return SlotsSequenceElement(tag, problems)
 
     @renderer
     def servers_with_corrupt_shares_p(self, req, tag):

src/allmydata/web/deep-check-and-repair-results.xhtml

@@ -44,8 +44,8 @@
 <div t:render="post_repair_problems_p">
 <h2>Files/Directories That Still Have Problems:</h2>
 <ul t:render="post_repair_problems">
-  <li t:pattern="item" t:render="problem"/>
-  <li t:pattern="empty">None</li>
+  <li t:render="item"/>
+  <li t:render="empty">None</li>
 </ul>
 </div>