From 4b30998f0d08ad882ee09d570056f96b219c2e35 Mon Sep 17 00:00:00 2001 From: mdPlusPlus Date: Thu, 29 Dec 2022 01:38:03 +0100 Subject: [PATCH] Make ksort() case-insensitive --- get_online_session_communities.php | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/get_online_session_communities.php b/get_online_session_communities.php index 268e5196..ed3a18dc 100644 --- a/get_online_session_communities.php +++ b/get_online_session_communities.php @@ -49,7 +49,6 @@ $addr_assignments = get_pubkeys_of_servers($servers, $pubkeys); $addr_assignments = reduce_addresses_of_pubkeys($addr_assignments); $room_assignments = assign_rooms_to_address_assignments($addr_assignments, $rooms); -// print_r($room_assignments); $final_join_links = generate_join_links($room_assignments); @@ -65,7 +64,7 @@ $table_html = get_table_html($room_assignments); $final_html = create_html_page_from_table($table_html, "Session Communities"); - echo($final_html); + //echo($final_html); } /* @@ -539,8 +538,8 @@ } // sorting that keeps index association, sort by index - ksort($ordered_table_elements); //TODO: own sort that is case insensitive -// print_r($ordered_table_elements); + ksort($ordered_table_elements, SORT_STRING | SORT_FLAG_CASE); //TODO: own sort that is case insensitive + print_r($ordered_table_elements); $table_lines = array(); foreach($ordered_table_elements as $id => $content) {