misc
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / BrowserManager.java
index 30a22f9..d5dea45 100644 (file)
@@ -189,12 +189,16 @@ public class BrowserManager {
     }
 
     // add the internal browser if we can
+//    WebBrowserUIPlugin.getInstance().getLog().log(
+//        new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0, WebBrowserUtil.canUseInternalWebBrowser() + "/"
+//            + WebBrowserUtil.isInternalBrowserOperational(), null));
+//    if (!WebBrowserUtil.canUseInternalWebBrowser() || !WebBrowserUtil.isInternalBrowserOperational())
+//      return;
     WebBrowserUIPlugin.getInstance().getLog().log(
-        new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0, WebBrowserUtil.canUseInternalWebBrowser() + "/"
-            + WebBrowserUtil.isInternalBrowserOperational(), null));
-    if (!WebBrowserUtil.canUseInternalWebBrowser() || !WebBrowserUtil.isInternalBrowserOperational())
+        new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0, 
+            "-"+WebBrowserUtil.isInternalBrowserOperational(), null));
+    if (!WebBrowserUtil.isInternalBrowserOperational())
       return;
-
     browserList.add(0, new InternalWebBrowser());
   }