From e1c9ef3dfab9efec6439e6c43127c11837c6237c Mon Sep 17 00:00:00 2001 From: mdPlusPlus Date: Thu, 29 Dec 2022 01:41:26 +0100 Subject: [PATCH] Comments --- get_online_session_communities.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/get_online_session_communities.php b/get_online_session_communities.php index ed3a18d..1ac6860 100644 --- a/get_online_session_communities.php +++ b/get_online_session_communities.php @@ -14,7 +14,7 @@ $room_join_regex = "/https?:\/\/.+\?public_key=[0-9a-f]+/" ; //TODO: How long can a public key be? // room token regex part - $room_token_regex_part = "[0-9A-Za-z]+"; //TODO: actually correct? + $room_token_regex_part = "[0-9A-Za-z]+"; //TODO: actually correct? Most likely exactly 64 chars long /* * Some servers don't appear in the wild yet, but can be queried @@ -213,7 +213,7 @@ $ch = curl_init($url); curl_setopt($ch, CURLOPT_NOBODY, true); curl_setopt($ch, CURLOPT_FOLLOWLOCATION, true); - curl_setopt($ch, CURLOPT_TIMEOUT_MS, 1500); + curl_setopt($ch, CURLOPT_TIMEOUT_MS, 1500); // 1500ms or 1.5s curl_exec($ch); $retcode = curl_getinfo($ch, CURLINFO_HTTP_CODE); curl_close($ch); @@ -538,7 +538,7 @@ } // sorting that keeps index association, sort by index - ksort($ordered_table_elements, SORT_STRING | SORT_FLAG_CASE); //TODO: own sort that is case insensitive + ksort($ordered_table_elements, SORT_STRING | SORT_FLAG_CASE); print_r($ordered_table_elements); $table_lines = array();