From 1e36b730771abde805f973a75dc1b2331edde4e4 Mon Sep 17 00:00:00 2001 From: yggverse Date: Thu, 21 Nov 2024 22:39:09 +0200 Subject: [PATCH] update comments --- src/app/browser/window/tab/item/page.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/app/browser/window/tab/item/page.rs b/src/app/browser/window/tab/item/page.rs index 7b5e9550..f3f18e81 100644 --- a/src/app/browser/window/tab/item/page.rs +++ b/src/app/browser/window/tab/item/page.rs @@ -574,6 +574,7 @@ impl Page { // Update page update.activate(Some(&id)); }, + // https://geminiprotocol.net/docs/protocol-specification.gmi#status-20 gemini::client::response::meta::Status::Success => { // Route by MIME match response.mime() { @@ -756,8 +757,9 @@ impl Page { }, } }, - // https://geminiprotocol.net/docs/protocol-specification.gmi#redirection + // https://geminiprotocol.net/docs/protocol-specification.gmi#status-30-temporary-redirection gemini::client::response::meta::Status::Redirect | + // https://geminiprotocol.net/docs/protocol-specification.gmi#status-31-permanent-redirection gemini::client::response::meta::Status::PermanentRedirect => { // Extract redirection URL from response data match response.data() {