# HG changeset patch # User haftmann # Date 1341345076 -7200 # Node ID ea1a8a93ba493d338516f65f62dbe64a4f57c05a # Parent 54fd394248aaf4420575074d445c29dd9b3297da corrected: avoid shadowing of variable diff -r 54fd394248aa -r ea1a8a93ba49 Admin/mira.py --- a/Admin/mira.py Tue Jul 03 13:56:12 2012 +0200 +++ b/Admin/mira.py Tue Jul 03 21:51:16 2012 +0200 @@ -32,10 +32,10 @@ raise IOError('Bad file: %s' % loc_contrib) subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle]) - components = path.join(loc_isabelle, 'Admin', 'components') - if path.exists(components): + components_registry = path.join(loc_isabelle, 'Admin', 'components') + if path.exists(components_registry): components = [] - for component in util.readfile_lines(components): + for component in util.readfile_lines(components_registry): loc_component = path.join(loc_isabelle, component) if path.exists(loc_component): components.append(loc_component)