# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1414448331 -3600
# Node ID 8b8e9d6891265a8b656efe72918c761e2070cca6
# Parent  269d1507b5143d9824710aeacce5e7e7a92c432f
Indicate when no pending requests exist.

diff -r 269d1507b514 -r 8b8e9d689126 imip_manager.py
--- a/imip_manager.py	Mon Oct 27 23:06:55 2014 +0100
+++ b/imip_manager.py	Mon Oct 27 23:18:51 2014 +0100
@@ -177,16 +177,21 @@
         # NOTE: the requests would be visited directly anyway.
 
         self.new_page(title="Pending Requests")
-        self.page.ul()
 
         requests = self.store.get_requests(self.user)
 
-        for request in requests:
-            self.page.li()
-            self.page.a(request, href="%s/%s" % (self.env.get_url().rstrip("/"), request))
-            self.page.li.close()
+        if requests:
+            self.page.ul()
 
-        self.page.ul.close()
+            for request in requests:
+                self.page.li()
+                self.page.a(request, href="%s/%s" % (self.env.get_url().rstrip("/"), request))
+                self.page.li.close()
+
+            self.page.ul.close()
+
+        else:
+            self.page.p("There are no pending requests.")
 
     def show_request(self, path_info):