(self, number)
Deregister disk file.
Deregister disk file.
Deregister disk file .
def close_file(self, number):
        """Deregister disk file."""
        try:
            del self._locking_parameters[number]
        except KeyError:
            pass
def close_file ( self , number ) : try : del self . _locking_parameters [ number ] except KeyError : pass