Exemple #1
0
 def __del__(self):
     """
     NAME: __del__
     """
     if FrovedisServer.isUP():
         self.release()
Exemple #2
0
 def __del__(self):  # destructor
     if FrovedisServer.isUP():
         self.release()