def __del__(self): """ NAME: __del__ """ if FrovedisServer.isUP(): self.release()
def __del__(self): # destructor if FrovedisServer.isUP(): self.release()
def __del__(self): """ NAME: __del__ """ if FrovedisServer.isUP(): self.release()
def __del__(self): # destructor if FrovedisServer.isUP(): self.release()