Format link to status page child node correctly

Some Nevow-ism accidentally escaped earlier: link to `/status/up-0`
and so on were actually rendered as `/up-0` and so on.
This commit is contained in:
Sajith Sasidharan 2020-07-17 10:58:34 -04:00
parent 2d19c383ca
commit 5c886b1b2d

View File

@ -1344,7 +1344,8 @@ class StatusElement(Element):
link = "mapupdate-%d" % op.get_counter()
result["progress"] = "%.1f%%" % (100.0 * progress)
result["status"] = tags.a(op.get_status(), href=link)
result["status"] = tags.a(op.get_status(),
href="/status/{}".format(link))
return result