From bd8cc0ad227a518006806c22af5b91952b658658 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 20 Dec 2017 22:29:22 +0100 Subject: [PATCH] style --- src/vmm_core.ml | 2 +- src/vmm_lwt.ml | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/vmm_core.ml b/src/vmm_core.ml index 88ddd59..8c626d2 100644 --- a/src/vmm_core.ml +++ b/src/vmm_core.ml @@ -364,7 +364,7 @@ module Log = struct | `Signal n -> "signal", n | `Stop n -> "stop", n in - Fmt.pf ppf "STOPPED %d with %s %d" pid s c + Fmt.pf ppf "STOPPED %d with %s %a" pid s Fmt.Dump.signal c | `Block_create (name, size) -> Fmt.pf ppf "BLOCK_CREATE %s %d" name size | `Block_destroy name -> Fmt.pf ppf "BLOCK_DESTROY %s" name diff --git a/src/vmm_lwt.ml b/src/vmm_lwt.ml index 6d9ea20..c6351dd 100644 --- a/src/vmm_lwt.ml +++ b/src/vmm_lwt.ml @@ -3,9 +3,9 @@ open Lwt.Infix let pp_process_status ppf = function -| Unix.WEXITED c -> Fmt.pf ppf "exited with %d" c -| Unix.WSIGNALED s -> Fmt.pf ppf "killed by signal %a" Fmt.Dump.signal s -| Unix.WSTOPPED s -> Fmt.pf ppf "stopped by signal %a" Fmt.Dump.signal s + | Unix.WEXITED c -> Fmt.pf ppf "exited with %d" c + | Unix.WSIGNALED s -> Fmt.pf ppf "killed by signal %a" Fmt.Dump.signal s + | Unix.WSTOPPED s -> Fmt.pf ppf "stopped by signal %a" Fmt.Dump.signal s let ret = function | Unix.WEXITED c -> `Exit c