mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Add the ability to uninstall a Tool Shed repository installed into Galaxy but in an error state.
This commit is contained in:
@@ -68,7 +68,9 @@ class ToolShedRepository( object ):
|
||||
|
||||
@property
|
||||
def can_deactivate( self ):
|
||||
return self.status not in [ self.installation_status.DEACTIVATED, self.installation_status.UNINSTALLED ]
|
||||
return self.status not in [ self.installation_status.DEACTIVATED,
|
||||
self.installation_status.ERROR,
|
||||
self.installation_status.UNINSTALLED ]
|
||||
|
||||
@property
|
||||
def can_reinstall_or_activate( self ):
|
||||
|
||||
@@ -194,9 +194,7 @@ class InstalledRepositoryGrid( grids.Grid ):
|
||||
grids.GridOperation( label="Deactivate or uninstall",
|
||||
condition=( lambda item: \
|
||||
not item.deleted and \
|
||||
item.status not in \
|
||||
[ tool_shed_install.ToolShedRepository.installation_status.ERROR,
|
||||
tool_shed_install.ToolShedRepository.installation_status.NEW ] ),
|
||||
item.status != tool_shed_install.ToolShedRepository.installation_status.NEW ),
|
||||
allow_multiple=False,
|
||||
url_args=dict( controller='admin_toolshed',
|
||||
action='browse_repositories',
|
||||
|
||||
Reference in New Issue
Block a user