PluginManager/PluginInstallDialog.py

changeset 2856
a07f9346e209
parent 2854
2de1955c6391
child 2889
3737e9f17f44
child 2911
ce77f0b1ee67
equal deleted inserted replaced
2854:2de1955c6391 2856:a07f9346e209
439 self.trUtf8("Unspecific exception installing plugin."), \ 439 self.trUtf8("Unspecific exception installing plugin."), \
440 False 440 False
441 441
442 # now compile the plugins 442 # now compile the plugins
443 if doCompile: 443 if doCompile:
444 compileall.compile_dir(destination, quiet=True) 444 compileall.compile_dir(os.path.join(destination, packageName), quiet=True)
445 compileall.compile_file(os.path.join(destination, pluginFileName), quiet=True)
445 446
446 if not self.__external: 447 if not self.__external:
447 # now load and activate the plugin 448 # now load and activate the plugin
448 self.__pluginManager.loadPlugin(installedPluginName, destination, reload_) 449 self.__pluginManager.loadPlugin(installedPluginName, destination, reload_)
449 if activatePlugin: 450 if activatePlugin:

eric ide

mercurial