equal
deleted
inserted
replaced
113 """ |
113 """ |
114 regdir = cwcfg.instances_dir() |
114 regdir = cwcfg.instances_dir() |
115 _allinstances = list_instances(regdir) |
115 _allinstances = list_instances(regdir) |
116 if isfile(join(regdir, 'startorder')): |
116 if isfile(join(regdir, 'startorder')): |
117 allinstances = [] |
117 allinstances = [] |
118 for line in file(join(regdir, 'startorder')): |
118 for line in open(join(regdir, 'startorder')): |
119 line = line.strip() |
119 line = line.strip() |
120 if line and not line.startswith('#'): |
120 if line and not line.startswith('#'): |
121 try: |
121 try: |
122 _allinstances.remove(line) |
122 _allinstances.remove(line) |
123 allinstances.append(line) |
123 allinstances.append(line) |