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 17:05:24 +0000 (10:05 -0700)
commitad8d7af730bf7d5cb1262e96c3ed6fa6bc7796d1
treeafe8d7413bbf9206c0443e26c3b11f65e8ca346b
parent3200ed58055d05726d26f8b2d2fa9d45af68a223
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