Tweak for the new task statistics formatting.

pkg/analysis_server/lib/src/get_handler.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library analysis_server.src.get_handler;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:convert';
 import 'dart:io';
@@ skipping 273 matching lines @@
           taskClasses.forEach((Type taskClass) {
             int count = countMap[taskClass];
             if (count == null) {
               count = 0;
             }
             int totalTime = stopwatchMap[taskClass].elapsedMilliseconds;
             _writeRow(buffer, [
               taskClass.toString(),
               count,
               totalTime,
-              count <= 0 ? '-' : totalTime / count
+              count <= 0 ? '-' : (totalTime / count).toStringAsFixed(3)
             ], classes: [null, "right", "right", "right"]);
           });
           buffer.write('</table>');
         } else {
           //
           // Write old task model timing information.
           //
           {
             buffer.write('<p><b>Time spent in each phase of analysis</b></p>');
             buffer.write(
@@ skipping 1311 matching lines @@
    */
   static String makeLink(
       String path, Map<String, String> params, String innerHtml,
       [bool hasError = false]) {
     Uri uri = new Uri(path: path, queryParameters: params);
     String href = HTML_ESCAPE.convert(uri.toString());
     String classAttribute = hasError ? ' class="error"' : '';
     return '<a href="$href"$classAttribute>$innerHtml</a>';
   }
 }