webish: enable deletion of directories

diff --git a/src/allmydata/webish.py b/src/allmydata/webish.py
index 023406e314409da27d353ef1379e3700c14cb665..e40e15bd9050578cff970456c965d9f1b6e69330 100644 (file)
--- a/src/allmydata/webish.py
+++ b/src/allmydata/webish.py
@@ -167,7 +167,13 @@ class Directory(rend.Page):
             ctx.fillSlots("type", "DIR")
             ctx.fillSlots("size", "-")
             ctx.fillSlots("uri", "-")
-            ctx.fillSlots("delete", "-")
+
+            del_url = url.here.child("_delete")
+            del_url = del_url.add("name", name)
+            delete = T.form(action=del_url, method="post")[
+                T.input(type='submit', value='del', name="del"),
+                ]
+            ctx.fillSlots("delete", delete)
         else:
             raise RuntimeError("unknown thing %s" % (target,))
         return ctx.tag