2194 error) |
2194 error) |
2195 return |
2195 return |
2196 name2 = "{0} (rev. {1})".format(name, rev2) |
2196 name2 = "{0} (rev. {1})".format(name, rev2) |
2197 else: |
2197 else: |
2198 try: |
2198 try: |
2199 f1 = open(name, "r", encoding="utf-8") |
2199 with open(name, "r", encoding="utf-8") as f1: |
2200 output2 = f1.read() |
2200 output2 = f1.read() |
2201 f1.close() |
|
2202 name2 = name |
2201 name2 = name |
2203 except IOError: |
2202 except IOError: |
2204 E5MessageBox.critical( |
2203 E5MessageBox.critical( |
2205 self.__ui, |
2204 self.__ui, |
2206 self.tr("Subversion Side-by-Side Difference"), |
2205 self.tr("Subversion Side-by-Side Difference"), |