Method code for $directories.build_header()

[Turn on line numbering]

arg header, info, args, @opts;
var title, head, css, out;

title = $motd.server_name();
[(opts ?= #[])] = opts;
if (dict_contains(opts, 'title))
    title += ": " + opts['title];
out = ["<head>", "<title>" + title + "</title>"];
if ((css = .get_default_css()))
    out += ["<link rel=\"stylesheet\" href=\"/file/" + css + "\">"];
if (dict_contains(opts, 'header))
    out += opts['header];
out += ["</head>"];
if (!dict_contains(opts, 'nobody))
    out += ["<body>"];
return out;

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

Tlon