diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-01-27T12·19+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-01-27T12·19+0000 |
commit | 59682e618805701f9c249736514df6db457895f9 (patch) | |
tree | 4a66762d4dffe3d37ed84c13bd0d2c314275b233 /scripts | |
parent | a24b78e9f1a7326badb6c38d5d63aeb6ccdf9970 (diff) |
* Make lock removal safe by signalling to blocked processes that the
lock they are waiting on has become stale (we do this by writing a meaningless token to the unlinked file).
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions