Ori.livneh has submitted this change and it was merged.
Change subject: vbench: use 24-hr clock in timestamps
......................................................................
vbench: use 24-hr clock in timestamps
Change-Id: I4ab6c83834111d49a5100881938ec709aaad833c
---
M files/ve/vbench
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Verified; Looks good to me, approved
diff --git a/files/ve/vbench b/files/ve/vbench
index 1e2ca3a..7b69f6d 100755
--- a/files/ve/vbench
+++ b/files/ve/vbench
@@ -94,7 +94,7 @@
RE = re.compile(r'(?P<markup>(\*)|(_))(?P<word>\S+)(?(2)\*)(?(3)_)')
YELLOW, WHITE, RESET = '\033[93m', '\033[1;37m', '\033[0m'
- def __init__(self, fmt='[_%(asctime)s_] %(message)s', date_fmt='%I:%M:%S',
+ def __init__(self, fmt='[_%(asctime)s_] %(message)s', date_fmt='%H:%M:%S',
use_color=False):
if use_color:
self.subs = {'*': self.WHITE, '_': self.YELLOW, 'end': self.RESET}
--
To view, visit https://gerrit.wikimedia.org/r/189622
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4ab6c83834111d49a5100881938ec709aaad833c
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
