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_utils.mli | |
| 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_utils.mli')
| -rwxr-xr-x | virt-top/virt_top_utils.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/virt-top/virt_top_utils.mli b/virt-top/virt_top_utils.mli index 9cce00e..5af26d4 100755 --- a/virt-top/virt_top_utils.mli +++ b/virt-top/virt_top_utils.mli @@ -22,6 +22,9 @@ (* Filename concatenation. *) val (//) : string -> string -> string +(* failwithf is a printf-like version of failwith. *) +val failwithf : ('a, unit, string, 'b) format4 -> 'a + (* Read a configuration file as a list of (lineno, key, value) pairs. * If the config file is missing this returns an empty list. *) |