2046 error) |
2046 error) |
2047 return |
2047 return |
2048 name2 = "{0} (rev. {1})".format(name, rev2) |
2048 name2 = "{0} (rev. {1})".format(name, rev2) |
2049 else: |
2049 else: |
2050 try: |
2050 try: |
2051 f1 = open(name, "r", encoding="utf-8") |
2051 with open(name, "r", encoding="utf-8") as f1: |
2052 output2 = f1.read() |
2052 output2 = f1.read() |
2053 f1.close() |
|
2054 name2 = name |
2053 name2 = name |
2055 except IOError: |
2054 except IOError: |
2056 E5MessageBox.critical( |
2055 E5MessageBox.critical( |
2057 self.__ui, |
2056 self.__ui, |
2058 self.tr("Subversion Side-by-Side Difference"), |
2057 self.tr("Subversion Side-by-Side Difference"), |