diff options
| author | Richard Jones <rjones@trick.home.annexia.org> | 2009-10-06 15:17:26 +0100 |
|---|---|---|
| committer | Richard Jones <rjones@trick.home.annexia.org> | 2009-10-06 15:17:26 +0100 |
| commit | e9ea4c12eac574c7daba52e93654eb2166c2e4cf (patch) | |
| tree | b984b9d3bd8895cfd1ad51a542dd3679ae13bb44 /virt-top/virt_top.ml | |
| parent | f2a2d508030d497e67b10d822d9dd1bc67036e78 (diff) | |
| download | virt-top-e9ea4c12eac574c7daba52e93654eb2166c2e4cf.tar.gz virt-top-e9ea4c12eac574c7daba52e93654eb2166c2e4cf.tar.xz virt-top-e9ea4c12eac574c7daba52e93654eb2166c2e4cf.zip | |
Replace failwith (sprintf...) with failwithf
Diffstat (limited to 'virt-top/virt_top.ml')
| -rw-r--r-- | virt-top/virt_top.ml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/virt-top/virt_top.ml b/virt-top/virt_top.ml index 353c098..1a39e06 100644 --- a/virt-top/virt_top.ml +++ b/virt-top/virt_top.ml @@ -80,9 +80,8 @@ let sort_order_of_cli = function | "netrx" -> NetRX | "nettx" -> NetTX | "blockrdrq" -> BlockRdRq | "blockwrrq" -> BlockWrRq | str -> - failwith - (sprintf (f_ "%s: sort order should be: %s") - str "cpu|mem|time|id|name|netrx|nettx|blockrdrq|blockwrrq") + failwithf (f_ "%s: sort order should be: %s") + str "cpu|mem|time|id|name|netrx|nettx|blockrdrq|blockwrrq" let cli_of_sort_order = function | Processor -> "cpu" | Memory -> "mem" @@ -103,9 +102,7 @@ let display_of_cli = function | "block" -> BlockDisplay | "net" -> NetDisplay | str -> - failwith - (sprintf (f_ "%s: display should be %s") - str "task|pcpu|block|net") + failwithf (f_ "%s: display should be %s") str "task|pcpu|block|net" let cli_of_display = function | TaskDisplay -> "task" | PCPUDisplay -> "pcpu" |