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