diff -r dbd79466b1ed -r 5dedbccec665 browserui/browser/BrowserAppInc/BrowserAppUi.h
--- a/browserui/browser/BrowserAppInc/BrowserAppUi.h	Fri Mar 12 15:43:05 2010 +0200
+++ b/browserui/browser/BrowserAppInc/BrowserAppUi.h	Mon Mar 15 12:40:52 2010 +0200
@@ -706,6 +706,8 @@
         
         // This member is public, so BrowserLauncher.dll can close the browser.
         CBrowserAsyncExit *iBrowserAsyncExit;
+    public:
+        void StopConnectionObserving();
 
 	private: