| Index: chrome/browser/prerender/prerender_manager.cc
|
| diff --git a/chrome/browser/prerender/prerender_manager.cc b/chrome/browser/prerender/prerender_manager.cc
|
| index 363e9360679cff5c21296fbeaaa4e9dd0eeab67e..918a2e1eb690b101ddf6f4f7c41f0e29a6c956d3 100644
|
| --- a/chrome/browser/prerender/prerender_manager.cc
|
| +++ b/chrome/browser/prerender/prerender_manager.cc
|
| @@ -1203,15 +1203,10 @@ void PrerenderManager::RecordFinalStatusWithoutCreatingPrerenderContents(
|
| void PrerenderManager::Observe(int type,
|
| const content::NotificationSource& source,
|
| const content::NotificationDetails& details) {
|
| - switch (type) {
|
| - case chrome::NOTIFICATION_PROFILE_DESTROYED:
|
| - DestroyAllContents(FINAL_STATUS_PROFILE_DESTROYED);
|
| - on_close_web_contents_deleters_.clear();
|
| - break;
|
| - default:
|
| - NOTREACHED() << "Unexpected notification sent.";
|
| - break;
|
| - }
|
| + DCHECK_EQ(chrome::NOTIFICATION_PROFILE_DESTROYED, type);
|
| +
|
| + DestroyAllContents(FINAL_STATUS_PROFILE_DESTROYED);
|
| + on_close_web_contents_deleters_.clear();
|
| }
|
|
|
| void PrerenderManager::OnCreatingAudioStream(int render_process_id,
|
|
|