PluginDownloader: Installing a plugin overrides the existing plugin with the same name, if any.

This commit is contained in:
Valentin Lorentz 2011-07-14 17:34:27 +02:00
parent 4edfed5ed7
commit 83e55fbbbd
2 changed files with 4 additions and 1 deletions

View File

@ -151,6 +151,9 @@ class GithubRepository(GitRepository):
newFileName = os.path.join(*file.name.split('/')[1:]) newFileName = os.path.join(*file.name.split('/')[1:])
newFileName = newFileName[len(self._path)-1:] newFileName = newFileName[len(self._path)-1:]
newFileName = os.path.join(directory, newFileName) newFileName = os.path.join(directory, newFileName)
if os.path.exists(newFileName):
assert os.path.isdir(newFileName)
shutils.rmtree(newFileName)
if extractedFile is None: if extractedFile is None:
os.mkdir(newFileName) os.mkdir(newFileName)
else: else:

View File

@ -1,3 +1,3 @@
"""stick the various versioning attributes in here, so we only have to change """stick the various versioning attributes in here, so we only have to change
them once.""" them once."""
version = '0.83.4.1+limnoria (2011-07-12T16:09:54+0200)' version = '0.83.4.1+limnoria (2011-07-14T17:34:26+0200)'