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