| Index: chrome/browser/prerender/prerender_manager.cc
|
| diff --git a/chrome/browser/prerender/prerender_manager.cc b/chrome/browser/prerender/prerender_manager.cc
|
| index dcc6c89c966c04df121058929b61477752eb9825..f857c70a64fc0eb6bddb6822d2d883bf76eb7d0c 100644
|
| --- a/chrome/browser/prerender/prerender_manager.cc
|
| +++ b/chrome/browser/prerender/prerender_manager.cc
|
| @@ -62,7 +62,7 @@ PrerenderManager::PrerenderManager(Profile* profile)
|
| }
|
|
|
| PrerenderManager::~PrerenderManager() {
|
| - while (prerender_list_.size() > 0) {
|
| + while (!prerender_list_.empty()) {
|
| PrerenderContentsData data = prerender_list_.front();
|
| prerender_list_.pop_front();
|
| data.contents_->set_final_status(FINAL_STATUS_MANAGER_SHUTDOWN);
|
| @@ -108,7 +108,7 @@ bool PrerenderManager::AddPreload(const GURL& url,
|
| }
|
|
|
| void PrerenderManager::DeleteOldEntries() {
|
| - while (prerender_list_.size() > 0) {
|
| + while (!prerender_list_.empty()) {
|
| PrerenderContentsData data = prerender_list_.front();
|
| if (IsPrerenderElementFresh(data.start_time_))
|
| return;
|
|
|