From 292e1beea0e2454d2bdb0f8f2f5a42a30b7f63aa Mon Sep 17 00:00:00 2001 From: totoro Date: Tue, 5 Jan 2021 15:08:00 +0900 Subject: [PATCH] remove the format for DNS_Result which is not exists anymore in Anubis v 1.19 --- web/CXM_http_get_common.anubis | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/web/CXM_http_get_common.anubis b/web/CXM_http_get_common.anubis index f62cd2e..a29a382 100644 --- a/web/CXM_http_get_common.anubis +++ b/web/CXM_http_get_common.anubis @@ -80,19 +80,19 @@ public define String -public define String - format - ( - DNS_Result r - ) = - if r is - { - host_not_found then "host not found", - no_address_found then "no address found for this host", - try_again then "DNS server is busy, try again later", - non_recoverable_error then "non recoverable DNS error", - ok(n) then should_not_happen("ok") // should never happen - }. +//public define String +// format +// ( +// DNS_Result r +// ) = +// if r is +// { +// host_not_found then "host not found", +// no_address_found then "no address found for this host", +// try_again then "DNS server is busy, try again later", +// non_recoverable_error then "non recoverable DNS error", +// ok(n) then should_not_happen("ok") // should never happen +// }. public define String -- libgit2 0.21.4