From 7868de529e49e9c271fe290ab351038214a943b2 Mon Sep 17 00:00:00 2001 From: Michael Date: Tue, 27 Mar 2018 15:12:19 +0000 Subject: [PATCH] Forgotten doxygen header --- src/Protocol/PortableContact.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Protocol/PortableContact.php b/src/Protocol/PortableContact.php index e66cb4687c..d5e9d8f8c6 100644 --- a/src/Protocol/PortableContact.php +++ b/src/Protocol/PortableContact.php @@ -1387,6 +1387,11 @@ class PortableContact return !$failure; } + /** + * @brief Fetch relay data from a given server url + * + * @param string $server_url address of the server + */ private static function discoverRelay($server_url) { logger("Discover relay data for server " . $server_url, LOGGER_DEBUG);