# HG changeset patch
# User timkelly
# Date 1240494728 18000
# Node ID bac3606e1ea923ad4a306183d8818dee06fa47af
# Parent  23e6330f398521f59c761b6b767bf1f036258a66
fix bug 8914. endless sdk refresh when devices.xml is empty or has xml format error

diff -r 23e6330f3985 -r bac3606e1ea9 core/com.nokia.carbide.cpp.sdk.core/src/com/nokia/carbide/cpp/internal/sdk/core/model/SDKManager.java
--- 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();