def get_contents(self, filename): self.mtx.acquire() try: ret = WbAdminSSH.get_contents(self, filename) finally: self.mtx.release() return ret