blob: d5e35cdce43a883eaeaa7d861c4cb1e08e4417b5 (
plain)
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
# pro-archman
# lib/garbage.sh
# Functions for garbage collection
#
# Copyright (C) 2013 Patrick "P. J." McDermott
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
use dir
collect_garbage()
{
local cur_time=
local garbage=
local gar_time=
local dirs=
local file=
# NB: The %s format conversion specifier is not specified by POSIX, but
# it is supported by the GNU and BusyBox implementations of date.
cur_time=$(date '+%s')
for garbage in "${opt_base_dir}/.db/garbage/"*; do
if [ ! -f "${garbage}" ]; then
continue
fi
gar_time=${garbage##*/}
if [ ${cur_time} -lt ${gar_time} ]; then
break
fi
while read -r dirs file; do
rm -f "${opt_base_dir}/${file}"
while [ ${dirs} -gt 0 ]; do
file="${file%/*}"
try_rmdir "${opt_base_dir}/${file}"
dirs=$(($dirs - 1))
done
done <<-EOF
${garbage}
EOF
rm -f "${garbage}"
done
}
mark_pool_garbage()
{
local file="${1}"
local time=
# NB: The %s format conversion specifier is not specified by POSIX, but
# it is supported by the GNU and BusyBox implementations of date.
time=$(date '+%s')
time=$(($time + $conf_pool_gc_delay))
mkdir -p "${opt_base_dir}/.db/garbage"
printf '2 %s\n' "${file}" >>"${opt_base_dir}/.db/garbage/${time}"
}
|
