PluginManager/PluginInstallDialog.py

branch
5_3_x
changeset 2857
614c63dfb798
parent 2855
df823a1024fa
child 3163
9f50365a0870
equal deleted inserted replaced
2855:df823a1024fa 2857:614c63dfb798
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