import com.android.sdklib.internal.repository.SdkSource;\r
import com.android.sdklib.internal.repository.SdkSourceCategory;\r
import com.android.sdklib.internal.repository.SdkSources;\r
+import com.android.sdklib.internal.repository.ToolPackage;\r
import com.android.sdklib.internal.repository.AddonsListFetcher.Site;\r
import com.android.sdklib.repository.SdkAddonConstants;\r
import com.android.sdklib.repository.SdkAddonsListConstants;\r
monitor.setDescription("Preparing to install archives");\r
\r
boolean installedAddon = false;\r
+ boolean installedTools = false;\r
boolean installedPlatformTools = false;\r
\r
// Mark all current local archives as already installed.\r
// Check if we successfully installed a platform-tool or add-on package.\r
if (archive.getParentPackage() instanceof AddonPackage) {\r
installedAddon = true;\r
+ } else if (archive.getParentPackage() instanceof ToolPackage) {\r
+ installedTools = true;\r
} else if (archive.getParentPackage() instanceof PlatformToolPackage) {\r
installedPlatformTools = true;\r
}\r
askForAdbRestart(monitor);\r
}\r
\r
- if (installedPlatformTools) {\r
+ if (installedTools) {\r
notifyToolsNeedsToBeRestarted();\r
}\r
\r