|
Gaudi Framework, version v22r2 |
| Home | Generated: Tue May 10 2011 |
Lock a file. More...
Public Member Functions | |
| def | __init__ |
| def | __del__ |
Public Attributes | |
| name | |
| temporary | |
| file | |
| log | |
Lock a file.
The file for the lock is created if it doesn't exists and it the "temporary" argument is set to True it will also be deleted when the lock is not needed. The unlocking is done in the destructor (RAII pattern).
Definition at line 131 of file locker.py.
| def locker::LockFile::__init__ | ( | self, | |
| name, | |||
temporary = False |
|||
| ) |
Definition at line 132 of file locker.py.
00133 : 00134 self.name = name 00135 self.temporary = temporary 00136 self.file = None 00137 self.log = logging.getLogger("LockFile") 00138 self.log.info("%s - Locking on %s", time.strftime("%Y-%m-%d_%H:%M:%S"), self.name) 00139 if not os.path.exists(name): 00140 mode = "w" 00141 else: 00142 self.temporary = False # I do not want to delete a file I didn't create 00143 mode = "r+" 00144 try: 00145 self.file = open(self.name, mode) 00146 lock(self.file) 00147 except: self.log.warning("Cannot acquire lock on %s", self.name)
| def locker::LockFile::__del__ | ( | self ) |