vlog: Fix formatting of milliseconds in Python log messages.
authorBen Pfaff <blp@nicira.com>
Mon, 16 Sep 2013 22:15:01 +0000 (15:15 -0700)
committerBen Pfaff <blp@nicira.com>
Tue, 17 Sep 2013 20:57:03 +0000 (13:57 -0700)
commit75ab5755897d3deda272fbc57ba4cf924e05d8ff
tree5f753eeb241b31a72a20da33597fda8da3083d15
parent340a92017eba6661e17698d0594d76b087d38b06
vlog: Fix formatting of milliseconds in Python log messages.

Commit 2b31d8e713de7 (vlog: Report timestamps in millisecond resolution in
log messages.) introduced milliseconds to log messages by default, but the
Python version did not ensure that milliseconds were always formatted with
3 digits, so 3.001 was formatted as "3.1" and 3.012 as "3.12", and so on.
This commit fixes the problem.

CC: Paul Ingram <paul@nicira.com>
Signed-off-by: Ben Pfaff <blp@nicira.com>
python/ovs/vlog.py