Correction to contract
This commit is contained in:
parent
71bf542eee
commit
32bf05a9d4
|
@ -147,7 +147,7 @@
|
||||||
(define (make-dns-address ip-address)
|
(define (make-dns-address ip-address)
|
||||||
(udp-address (ip->host-name ip-address) 53))
|
(udp-address (ip->host-name ip-address) 53))
|
||||||
|
|
||||||
;; network-query : UdpAddress Question DomainName NEListOf<DomainName> UniqueId -> OsProcess
|
;; network-query : UdpAddress Question DomainName NEListOf<DomainName> UniqueId -> BootK
|
||||||
(define (network-query s q zone-origin server-names unique-id)
|
(define (network-query s q zone-origin server-names unique-id)
|
||||||
(os-big-bang/transition
|
(os-big-bang/transition
|
||||||
(try-next-server (network-query-state (network-request s q zone-origin server-names unique-id)
|
(try-next-server (network-query-state (network-request s q zone-origin server-names unique-id)
|
||||||
|
|
Loading…
Reference in New Issue