Check-in by ben on 2025-05-01 02:19:44

 When formatting HTML make sure to print URL referrences in the
 correct place so that they get cached and displayed in the
 correct order.

 INSERTED    DELETED
        1          1 src/web.awk
        1          1 TOTAL over 1 changed file

Index: src/web.awk
==================================================================
--- src/web.awk
+++ src/web.awk
@@ -190,11 +190,11 @@
            }
        }
        if (length(id) > 0) {
            label = prefix id
            printf "[1|%s|%s/details/%s|%s|%s]\n", label, cgipath,
-                id, server, port
+                id, server, port >>output
        } else {
             print str >>output
        }
    } else {
        print str >>output