mirror of
https://github.com/mirage/qubes-mirage-firewall.git
synced 2024-10-01 05:05:39 +00:00
do not stop the unikernel if netvm is None
This commit is contained in:
parent
fe99021dc0
commit
e5349c22a7
11
unikernel.ml
11
unikernel.ml
@ -17,10 +17,13 @@ module Main (R : Mirage_random.S)(Clock : Mirage_clock.MCLOCK)(Time : Mirage_tim
|
|||||||
(* Report success *)
|
(* Report success *)
|
||||||
Dao.set_iptables_error qubesDB "" >>= fun () ->
|
Dao.set_iptables_error qubesDB "" >>= fun () ->
|
||||||
(* Handle packets from both networks *)
|
(* Handle packets from both networks *)
|
||||||
Lwt.choose [
|
match uplink with
|
||||||
Client_net.listen Clock.elapsed_ns dns_client dns_servers qubesDB router;
|
| None -> Client_net.listen Clock.elapsed_ns dns_client dns_servers qubesDB router
|
||||||
Uplink.listen uplink Clock.elapsed_ns dns_responses 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). *)
|
(* Main unikernel entry point (called from auto-generated main.ml). *)
|
||||||
let start _random _clock _time =
|
let start _random _clock _time =
|
||||||
|
Loading…
Reference in New Issue
Block a user