was_webui_deleted_  590 chrome/browser/ui/webui/net_internals/net_internals_ui.cc   bool was_webui_deleted_;
was_webui_deleted_ 1013 chrome/browser/ui/webui/net_internals/net_internals_ui.cc   was_webui_deleted_ = true;
was_webui_deleted_ 1718 chrome/browser/ui/webui/net_internals/net_internals_ui.cc     if (handler_.get() && !was_webui_deleted_) {