Yes, it's true, the SDK Manager itself is what prevents the rename / update from completing.
I just updated the issue on b.android.com with some screenshots from SysInternals Process Explorer that show exactly that: http://code.google.com/p/android/issues/detail?id=4410#c172 A fix for this is trivial, but the bug is still there more than two years later... -- Kostya 19 декабря 2011 г. 1:49 пользователь sblantipodi <[email protected]> написал: > I have posted a personal workaround for the problem a lot of time ago. > It is really incredible that google didn't fixed the problem yet. > > To workaround the problem do this: > - Close everything, antivirus included. > - Go rename your ./android/tools directory in something else ./android/ > tools_somethingelse > - Enter the renamed directory and run the android.bat > - Install the update > - Delete the renamed directory > > This will solve your problem but I really hope that google will sove > their own prolems too. > > On 18 Dic, 15:34, Michael Ganss <[email protected]> wrote: >> I'm not sure but it seems the SDK Manager itself may be keeping it from >> updating, at least it's the only process I can see in Process Explorer >> that's got an open handle in that folder. I made a copy of the folder and >> double-clicked android.bat from there to make it work. It looks like the >> only thing the update is doing is replacing the old tools folder with the >> contents from the zip file that's in the temp folder, though. So you might >> just to need to remove the old tools folder and unzip the new tools >> archive. Wouldn't bet on it, though :) > > -- > You received this message because you are subscribed to the Google > Groups "Android Developers" group. > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > For more options, visit this group at > http://groups.google.com/group/android-developers?hl=en -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en
