From 7a18f33c44fc8b339926b36d7b37196b05aba0f9 Mon Sep 17 00:00:00 2001 From: Hume2 Date: Wed, 10 Aug 2022 14:03:52 +0200 Subject: [PATCH] vibed/web-server.md: Fix build issues fixes #355 --- vibed/web-server.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/vibed/web-server.md b/vibed/web-server.md index 78760cc..b086826 100644 --- a/vibed/web-server.md +++ b/vibed/web-server.md @@ -99,7 +99,7 @@ class WebService // tags by inspecting the request's // headers property. string[] headers; - foreach(key, value; req.headers) { + foreach(key, value; req.headers.byKeyValue()) { headers ~= "
  • %s: %s
    • " .format(key, value); @@ -113,7 +113,7 @@ class WebService %s - }.format(username_, + }.format(cast(string)username_, headers.join("\n")); res.writeBody(contents, @@ -129,7 +129,7 @@ class WebService

    Your name: %s

    - }.format(username_); + }.format(cast(string)username_); res.writeBody(contents, "text/html; charset=UTF-8");