def restart(self):
    from linecache import checkcache
    checkcache()
    self.ui.set_source_code_provider(NullSourceCodeProvider())
    self.setup_state()
def restart(self):
    from linecache import checkcache
    checkcache()
    self.ui.set_source_code_provider(NullSourceCodeProvider())
    self.setup_state()