Fix pad function to work for negative widths (RHBZ#634435).
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 6 Jan 2011 12:38:24 +0000 (12:38 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 6 Jan 2011 12:38:24 +0000 (12:38 +0000)
commit0b94aeb460d42eea16bf942dd0892b8ebf63877b
treea7740145f0872ed1cd314c89cef5c9158d218970
parent80357d3ee11d22a649cfefb1786f5ae7148b53a1
Fix pad function to work for negative widths (RHBZ#634435).

The pad function is supposed to pad a string to a width.  Under some
circumstances, the width parameter could be negative resulting in a
call to String.sub such as:

  String.sub str 0 (-1)

which caused an exception to be thrown and not caught, causing
virt-top to exit.  Fix the pad function to return an empty string if
width <= 0 instead of throwing an exception.

See also:
https://bugzilla.redhat.com/show_bug.cgi?id=634435
virt-top/virt_top_utils.ml