From e5349c22a7f3c6e7db678098b2aaf7abe0de7c83 Mon Sep 17 00:00:00 2001 From: palainp Date: Fri, 30 Jun 2023 17:13:56 +0200 Subject: [PATCH] do not stop the unikernel if netvm is None --- unikernel.ml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/unikernel.ml b/unikernel.ml index ce28b72..708fe53 100644 --- a/unikernel.ml +++ b/unikernel.ml @@ -17,10 +17,13 @@ module Main (R : Mirage_random.S)(Clock : Mirage_clock.MCLOCK)(Time : Mirage_tim (* Report success *) Dao.set_iptables_error qubesDB "" >>= fun () -> (* Handle packets from both networks *) - Lwt.choose [ - Client_net.listen Clock.elapsed_ns dns_client dns_servers qubesDB router; - Uplink.listen uplink Clock.elapsed_ns dns_responses router - ] + match uplink with + | None -> Client_net.listen Clock.elapsed_ns dns_client dns_servers qubesDB router + | _ -> + Lwt.choose [ + Client_net.listen Clock.elapsed_ns dns_client dns_servers qubesDB router; + Uplink.listen uplink Clock.elapsed_ns dns_responses router + ] (* Main unikernel entry point (called from auto-generated main.ml). *) let start _random _clock _time =