Report pub status

pkg/analysis_server/tool/spec/spec_input.html

Index: pkg/analysis_server/tool/spec/spec_input.html
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html
index 69f454241c28211deaaede5b14e908d63c7dd1ef..e09c9e3e3678e48234b21677b71e9324ed658642 100644
--- a/pkg/analysis_server/tool/spec/spec_input.html
+++ b/pkg/analysis_server/tool/spec/spec_input.html
@@ -248,6 +248,13 @@
               analyzed.
             </p>
           </field>
+          <field name="pub" optional="true">
+            <ref>PubStatus</ref>
+            <p>
+              The current status of pub execution, indicating whether we are
+              currently running pub.
+            </p>
+          </field>
         </params>
       </notification>
     </domain>
@@ -2698,6 +2705,20 @@
           </field>
         </object>
       </type>
+      <type name="PubStatus">
+        <p>
+          An indication of the current state of pub execution.
+        </p>
+        <object>
+          <field name="isListingPackageDirs">
+            <ref>bool</ref>
+            <p>
+              True if the server is currently running pub to produce a list of
+              package directories.
+            </p>
+          </field>
+        </object>
+      </type>
       <type name="RefactoringKind">
         <p>
           An enumeration of the kinds of refactorings that can be