Skip to content
Snippets Groups Projects
Commit b3e7a172 authored by Georges Racinet's avatar Georges Racinet
Browse files

working directories: inner pool handling

This creates the pool, recorded as a "roster" file
in the main repository.

To obtain an exclusive working directory, callers should
use the `working_directory` context manager only.

The roster file is protected by a lock, with input/output
occurring only at acquire and release times of working
directories, allowing to acquire working directories freely
when one is already held. The lock is for now provided by
Mercurial standard utilities, but we will probably implement
a more suitable one later on.

A cleanup system for old working directories shall be implemented
in a following changeset. It will be based on the recorded timestamp.
parent 6226717d
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment