Skip to content
This repository has been archived by the owner on Jun 26, 2023. It is now read-only.

use RW lock for the File's lock #43

Merged
merged 2 commits into from
Dec 19, 2018
Merged

use RW lock for the File's lock #43

merged 2 commits into from
Dec 19, 2018

Commits on Dec 19, 2018

  1. Configuration menu
    Copy the full SHA
    36363fb View commit details
    Browse the repository at this point in the history
  2. use RW lock for the File's node

    This allows us to, e.g., get the size, etc. in parallel.
    schomatis committed Dec 19, 2018
    Configuration menu
    Copy the full SHA
    00b7d5c View commit details
    Browse the repository at this point in the history