From 6e6ea6dd883cc2012f030a9de901f5083a533fbf Mon Sep 17 00:00:00 2001 From: "eroman@chromium.org" Date: Wed, 29 Feb 2012 05:51:42 +0000 Subject: Tweak date format used on net-internals. Adds zero-padding for minutes/hours/days, removes the brackets, and uses '-' rather than '/' as date separator. Review URL: https://chromiumcodereview.appspot.com/9518014 git-svn-id: svn://svn.chromium.org/chrome/trunk/src@124129 0039d316-1c4b-4281-b951-d872f2087c98 --- .../browser/resources/net_internals/time_util.js | 28 +++++++++++++--------- 1 file changed, 17 insertions(+), 11 deletions(-) (limited to 'chrome/browser/resources/net_internals/time_util.js') diff --git a/chrome/browser/resources/net_internals/time_util.js b/chrome/browser/resources/net_internals/time_util.js index 0a5532c..21c5409 100644 --- a/chrome/browser/resources/net_internals/time_util.js +++ b/chrome/browser/resources/net_internals/time_util.js @@ -61,20 +61,26 @@ var timeutil = (function() { * @returns {String} */ function dateToString(date) { - var dateStr = - date.getFullYear() + '/' + (date.getMonth() + 1) + '/' + date.getDate(); + var dateStr = date.getFullYear() + '-' + + zeroPad_(date.getMonth() + 1, 2) + '-' + + zeroPad_(date.getDate(), 2); - // Prefix the milliseconds with enough zeros to make it three characters - // long. - var paddedMilliseconds = '' + date.getMilliseconds(); - while (paddedMilliseconds.length < 3) - paddedMilliseconds = '0' + paddedMilliseconds; + var timeStr = zeroPad_(date.getHours(), 2) + ':' + + zeroPad_(date.getMinutes(), 2) + ':' + + zeroPad_(date.getSeconds(), 2) + '.' + + zeroPad_(date.getMilliseconds(), 3); - var timeStr = - date.getHours() + ':' + date.getMinutes() + ':' + date.getSeconds() + - '.' + paddedMilliseconds; + return dateStr + ' ' + timeStr; + } - return '[' + dateStr + '] ' + timeStr; + /** + * Prefixes enough zeros to |num| so that it has length |len|. + */ + function zeroPad_(num, len) { + var str = num + ''; + while (str.length < len) + str = '0' + str; + return str; } return { -- cgit v1.1