Fix lint problems from merge.

How did that happen, those pieces of code were largely unrelated. Ekkk...
This commit is contained in:
John Chilton
2015-09-14 11:21:04 +01:00
parent 17d8e15e4e
commit 57634f43ea
2 changed files with 0 additions and 2 deletions
@@ -93,7 +93,6 @@ def admin_user_info( ):
return (username, email, password)
def get_local_tool_shed_url( config_parser ):
port = '9009'
if config_parser.has_section( 'server:main' ):
@@ -12,7 +12,6 @@ sys.path.insert(1, os.path.join( os.path.dirname( __file__ ), os.pardir, os.pard
import galaxy.webapps.tool_shed.config as tool_shed_config
from galaxy.web import security
from galaxy.webapps.tool_shed.model import mapping
from tool_shed.util import xml_util
from .bootstrap_util import admin_user_info
log = logging.getLogger( __name__ )