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

1 files changed, 17 insertions, 11 deletions

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 {