From 085762ec174eae1c519ec14db632f5ba197ed3c7 Mon Sep 17 00:00:00 2001
From: winter
Date: Tue, 17 Dec 2024 18:39:18 +0000
Subject: hopefully implement push!

again i can't really test this yet because i don't have two https instances that can talk to each other.
soon i will set that up and test all these recent commits
---
 misc/hostname_from_uri.php | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 misc/hostname_from_uri.php

(limited to 'misc/hostname_from_uri.php')

diff --git a/misc/hostname_from_uri.php b/misc/hostname_from_uri.php
new file mode 100644
index 0000000..0ee6b05
--- /dev/null
+++ b/misc/hostname_from_uri.php
@@ -0,0 +1,19 @@
+<?php
+
+/**
+ * Extracts the hostname (and port) from the given URI, assuming it is of a known scheme and can have one
+ * @param string $uri
+ * @return ?string the host:port pair if there is one or null otherwise
+ */
+function hostname_from_uri(string $uri): ?string {
+    if (!(
+        str_starts_with($uri, 'https://') ||
+        str_starts_with($uri, 'http://') ||
+        str_starts_with($uri, 'gopher://') ||
+        str_starts_with($uri, 'gemini://') ||
+        str_starts_with($uri, 'mumble://')
+    )) {
+        return null;
+    }
+    return explode('/', $uri, 4)[2];
+}
\ No newline at end of file
-- 
cgit v1.3