summaryrefslogtreecommitdiff
path: root/dev-server.php
blob: 0577fdda6d290d7b7b71e689b6d371b6b99315c6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
<?php

require_once __DIR__ . "/common.php";

const TEMPLATE_DIR = SRCDIR . "/pages/";
const STATIC_DIR = SRCDIR . "/static/";
const FALLBACK_FILE = TEMPLATE_DIR . "not_found.php";
const DEFAULT_FILE = TEMPLATE_DIR . "index.php";
const DEFAULT_MIME_TYPE = "application/octet-stream";

function get_mime(string $filename): string {
    static $mime_overrides = [
        "css" => "text/css",
        "js" => "text/javascript",
    ];
    $ext = pathinfo($filename, PATHINFO_EXTENSION);
    $ext = strtolower($ext);
    $mime = $mime_overrides[$ext] ?? mime_content_type($filename);
    if ($mime === false)
        $mime = DEFAULT_MIME_TYPE;
    return $mime;
}

$name = $_SERVER["REQUEST_URI"];
$is_static = false;

$name = ltrim($name, "/");
if (str_starts_with($name, "static/"))
    $is_static = true;
elseif (str_ends_with($name, ".html")) {
    $name = preg_replace('/\.html$/', "", $name);
    http_response_code(302);
    header("Location: /$name");
    exit;
}

$include_file = FALLBACK_FILE;

if ($is_static) {
    $staticFile = STATIC_DIR . preg_replace(';^static/;', "", $name);
    if (!is_file($staticFile)) {
        $include_file = FALLBACK_FILE;
        http_response_code(404);
    } else {
        $content_type = get_mime($staticFile);
        $content_length = filesize($staticFile);
        header("Content-Type: $content_type");
        header("Content-Length: $content_length");
        readfile($staticFile);
        exit;
    }
} else {
    if ($name === "")
        $include_file = DEFAULT_FILE;
    else
        $include_file = TEMPLATE_DIR . $name . ".php";
}

if (!is_file($include_file)) {
    $include_file = FALLBACK_FILE;
    http_response_code(404);
}

echo hzcom_expand(file_get_contents($include_file));