Adds up navigation in dev server

8 months ago · 2ef68047de
parent 71e60e3c44
commit 2ef68047de
1 changed files with 7 additions and 1 deletions
--- a/tools/demo-server.py
+++ b/tools/demo-server.py
@ -59,6 +59,12 @@ class Handler(SimpleHTTPRequestHandler):
        r.append('<title>%s</title>\n</head>' % title)
        r.append('<body>\n<h1>%s</h1>' % title)
        r.append('<hr>\n<ul>')
        suffix = path.removeprefix(self.directory)
        if suffix != "/":
            r.append('<li><a href="..">..</a></li>')
        for name in list:
            fullname = os.path.join(path, name)
            displayname = linkname = name