src/eric7/UI/UserInterface.py

branch
eric7
changeset 11027
89045c060113
parent 11006
a671918232f3
child 11032
84a66daa5e34
equal deleted inserted replaced
11026:53d18eb2062d 11027:89045c060113
8531 self.shutdownCalled = True 8531 self.shutdownCalled = True
8532 8532
8533 # shut down the global file system watcher 8533 # shut down the global file system watcher
8534 EricFileSystemWatcher.instance().shutdown() 8534 EricFileSystemWatcher.instance().shutdown()
8535 8535
8536 # revert changes to sys.stdout and sys.stderr
8537 sys.stdout = sys.__stdout__
8538 sys.stderr = sys.__stderr__
8539
8536 return True 8540 return True
8537 8541
8538 def isOnline(self): 8542 def isOnline(self):
8539 """ 8543 """
8540 Public method to get the online state. 8544 Public method to get the online state.

eric ide

mercurial