Method code for $directories.build_header()

[Turn off line numbering]
  1: arg header, info, args, @opts;
  2: var title, head, css, out;
  3: 
  4: title = $motd.server_name();
  5: [(opts ?= #[])] = opts;
  6: if (dict_contains(opts, 'title))
  7:     title += ": " + opts['title];
  8: out = ["<head>", "<title>" + title + "</title>"];
  9: if ((css = .get_default_css()))
 10:     out += ["<link rel=\"stylesheet\" href=\"/file/" + css + "\">"];
 11: if (dict_contains(opts, 'header))
 12:     out += opts['header];
 13: out += ["</head>"];
 14: if (!dict_contains(opts, 'nobody))
 15:     out += ["<body>"];
 16: return out;

// Brad Roberts
// Bruce Mitchener, Jr.
// Created 16-May-1997 as a part of ColdCore, see: @help Credit

Tlon