History: Reload page only after web history deletion has completed.

chrome/browser/history/web_history_service.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef CHROME_BROWSER_HISTORY_WEB_HISTORY_SERVICE_H_
 #define CHROME_BROWSER_HISTORY_WEB_HISTORY_SERVICE_H_
 
 #include "chrome/browser/history/history_types.h"
 #include "chrome/browser/profiles/profile.h"
 #include "chrome/browser/profiles/profile_keyed_service.h"
@@ skipping 13 matching lines @@
 // supports a similar API.
 class WebHistoryService : public ProfileKeyedService {
  public:
   // Handles all the work of making an API request. This class encapsulates
   // the entire state of the request. When an instance is destroyed, all
   // aspects of the request are cancelled.
   class Request {
    public:
     virtual ~Request();
 
+    // Returns true if the request is "pending" (i.e., it has been started, but
+    // is not yet been complete).
+    virtual bool is_pending() = 0;
+
    protected:
     Request();
   };
 
   // Callback with the result of a call to QueryHistory(). Currently, the
   // DictionaryValue is just the parsed JSON response from the server.
   // TODO(dubroy): Extract the DictionaryValue into a structured results object.
   typedef base::Callback<void(Request*, const base::DictionaryValue*)>
       QueryWebHistoryCallback;
 
@@ skipping 45 matching lines @@
   // a mutation operation (e.g., deleting history). This is used to ensure that
   // subsequent reads see a version of the data that includes the mutation.
   std::string server_version_info_;
 
   DISALLOW_COPY_AND_ASSIGN(WebHistoryService);
 };
 
 }  // namespace history
 
 #endif  // CHROME_BROWSER_HISTORY_WEB_HISTORY_SERVICE_H_