1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
[plugin]
title=User Locks
description=Provides lock functions to users.
load_by_default=yes
sources=
barrier_dictionary.cc
barriers.cc
create_barrier.cc
get_lock.cc
get_locks.cc
is_free_lock.cc
is_used_lock.cc
key.cc
locks.cc
module.cc
release_barrier.cc
release_lock.cc
release_locks.cc
release_wait.cc
signal.cc
user_locks_dictionary.cc
wait.cc
wait_for_lock.cc
wait_until.cc
headers=
barrier.h
barrier_dictionary.h
barrier_storage.h
barriers.h
create_barrier.h
get_lock.h
get_locks.h
is_free_lock.h
is_used_lock.h
key.h
lock_storage.h
lock.h
locks.h
module.h
observer.h
release_barrier.h
release_lock.h
release_locks.h
release_wait.h
signal.h
user_locks_dictionary.h
wait.h
wait_for_lock.h
wait_until.h
static=yes
|