From d274ad9cd4a1ebcc7321f5d338d31bbceb5aa65f Mon Sep 17 00:00:00 2001
From: David Glasser <glasser@meteor.com>
Date: Fri, 17 Oct 2014 14:51:57 -0700
Subject: [PATCH] Make sure that early refreshes are visible

---
 tools/main.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tools/main.js b/tools/main.js
index 9d49c16239..9daf778189 100644
--- a/tools/main.js
+++ b/tools/main.js
@@ -816,7 +816,11 @@ Fiber(function () {
         // Somehow we have a catalog that doesn't have any releases on the
         // default track. Try syncing, at least.  (This is a pretty unlikely
         // error case, since you should always start with a non-empty catalog.)
+        Console.setPretty(true);
+        Console.enableProgressDisplay(true);
         alreadyRefreshed = catalog.refreshOrWarn();
+        Console.enableProgressDisplay(false);
+        Console.setPretty(false);
         releaseName = release.latestKnown();
       }
       if (!releaseName) {
@@ -872,7 +876,11 @@ Fiber(function () {
         }
 
         // ATTEMPT 3: modern release, troposphere sync needed.
+        Console.setPretty(true);
+        Console.enableProgressDisplay(true);
         alreadyRefreshed = catalog.refreshOrWarn();
+        Console.enableProgressDisplay(false);
+        Console.setPretty(false);
 
         // Try to load the release even if the refresh failed, since it might
         // have failed on a later page than the one we needed.