fix bug 8914. endless sdk refresh when devices.xml is empty or has xml format error
--- a/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java Wed Apr 22 16:46:06 2009 -0500
+++ b/core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java Thu Apr 23 08:52:08 2009 -0500
@@ -164,9 +164,6 @@
}
}
- // make sure we don't rescan over and over again
- hasScannedSDKs = true;
-
} catch (MalformedURLException e) {
e.printStackTrace();
} catch (URISyntaxException e) {
@@ -176,6 +173,9 @@
}
}
+ // make sure we don't rescan over and over again
+ hasScannedSDKs = true;
+
// tell others about it
fireInstalledSdkChanged(SDKChangeEventType.eSDKScanned);
scanCarbideSDKCache();