Support serving from multiple directories using "pub serve".

sdk/lib/_internal/pub/lib/src/log.dart

Index: sdk/lib/_internal/pub/lib/src/log.dart
diff --git a/sdk/lib/_internal/pub/lib/src/log.dart b/sdk/lib/_internal/pub/lib/src/log.dart
index 0dcf088d339cfbb43c1ce0d2275cab8b57d9d81c..6117c05d567eea70e377f65465fbb976a8294890 100644
--- a/sdk/lib/_internal/pub/lib/src/log.dart
+++ b/sdk/lib/_internal/pub/lib/src/log.dart
@@ -41,6 +41,7 @@ final _green = getSpecial('\u001b[32m');
 final _magenta = getSpecial('\u001b[35m');
 final _red = getSpecial('\u001b[31m');
 final _yellow = getSpecial('\u001b[33m');
+final _gray = getSpecial('\u001b[1;30m');
 final _none = getSpecial('\u001b[0m');
 final _bold = getSpecial('\u001b[1m');
 
@@ -237,6 +238,12 @@ Future progress(String message, Future callback()) {
 /// Use this to highlight the most important piece of a long chunk of text.
 String bold(text) => "$_bold$text$_none";
 
+/// Wraps [text] in the ANSI escape codes to make it bold when on a platform

[Bob Nystrom, 2014/02/19 00:36:52]

"bold" -> "gray".

[nweiz, 2014/02/19 01:25:58]

Done.

+/// that supports that.
+///
+/// Use this for text that's less important than the text around it.
+String gray(text) => "$_gray$text$_none";
+
 /// Wraps [text] in the ANSI escape codes to color it cyan when on a platform
 /// that supports that.
 ///