Anubis / Xlib

Commit 292e1beea0e2454d2bdb0f8f2f5a42a30b7f63aa

Authored by David RENÉ
1 parent 28d9354a

remove the format for DNS_Result which is not exists anymore in Anubis v 1.19

Showing 1 changed file with 13 additions and 13 deletions   Show diff stats
Inline Side-by-side
web/CXM_http_get_common.anubis
  Show/Hide comments   View file @292e1be
@@ -80,19 +80,19 @@ public define String @@ -80,19 +80,19 @@ public define String
80 80
81 81
82 82
83 -public define String  
84 - format  
85 - (  
86 - DNS_Result r  
87 - ) =  
88 - if r is  
89 - {  
90 - host_not_found then "host not found",  
91 - no_address_found then "no address found for this host",  
92 - try_again then "DNS server is busy, try again later",  
93 - non_recoverable_error then "non recoverable DNS error",  
94 - ok(n) then should_not_happen("ok") // should never happen  
95 - }. 83 +//public define String
  84 +// format
  85 +// (
  86 +// DNS_Result r
  87 +// ) =
  88 +// if r is
  89 +// {
  90 +// host_not_found then "host not found",
  91 +// no_address_found then "no address found for this host",
  92 +// try_again then "DNS server is busy, try again later",
  93 +// non_recoverable_error then "non recoverable DNS error",
  94 +// ok(n) then should_not_happen("ok") // should never happen
  95 +// }.
96 96
97 97
98 public define String 98 public define String