mirror of
https://github.com/facebook/sapling.git
synced 2024-10-07 07:17:55 +03:00
e78588e43a
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Make makelock and readlock work on filesystems without symlink support. This way you can have a repository on a fat partiton, e.g. a USB stick. manifest hash: cea2c120ef2b25a50c5d98b59648f773feefe470 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFC1t5yW7P1GVgWeRoRAsKjAJ9BFcn/EqBK/dmJ4BY1pPIZIbDDJACghN3p VCQS6CJ72MHpzhOOsnOpHzE= =laDT -----END PGP SIGNATURE-----
50 lines
1.1 KiB
Python
50 lines
1.1 KiB
Python
# lock.py - simple locking scheme for mercurial
|
|
#
|
|
# Copyright 2005 Matt Mackall <mpm@selenic.com>
|
|
#
|
|
# This software may be used and distributed according to the terms
|
|
# of the GNU General Public License, incorporated herein by reference.
|
|
|
|
import os, time
|
|
import util
|
|
|
|
class LockHeld(Exception):
|
|
pass
|
|
|
|
class lock:
|
|
def __init__(self, file, wait = 1):
|
|
self.f = file
|
|
self.held = 0
|
|
self.wait = wait
|
|
self.lock()
|
|
|
|
def __del__(self):
|
|
self.release()
|
|
|
|
def lock(self):
|
|
while 1:
|
|
try:
|
|
self.trylock()
|
|
return 1
|
|
except LockHeld, inst:
|
|
if self.wait:
|
|
time.sleep(1)
|
|
continue
|
|
raise inst
|
|
|
|
def trylock(self):
|
|
pid = os.getpid()
|
|
try:
|
|
util.makelock(str(pid), self.f)
|
|
self.held = 1
|
|
except (OSError, IOError):
|
|
raise LockHeld(util.readlock(self.f))
|
|
|
|
def release(self):
|
|
if self.held:
|
|
self.held = 0
|
|
try:
|
|
os.unlink(self.f)
|
|
except: pass
|
|
|