annotate install-sh @ 79:831d0b46bbd2 stable-1-0-18

add more logging when blocked addresses move to higher scale values
author Carl Byington <carl@five-ten-sg.com>
date Wed, 15 Jul 2020 14:22:37 -0700
parents 551433a01cab
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
551433a01cab initial coding
carl
parents:
diff changeset
1 #!/bin/sh
551433a01cab initial coding
carl
parents:
diff changeset
2 #
551433a01cab initial coding
carl
parents:
diff changeset
3 # install - install a program, script, or datafile
551433a01cab initial coding
carl
parents:
diff changeset
4 # This comes from X11R5 (mit/util/scripts/install.sh).
551433a01cab initial coding
carl
parents:
diff changeset
5 #
551433a01cab initial coding
carl
parents:
diff changeset
6 # Copyright 1991 by the Massachusetts Institute of Technology
551433a01cab initial coding
carl
parents:
diff changeset
7 #
551433a01cab initial coding
carl
parents:
diff changeset
8 # Permission to use, copy, modify, distribute, and sell this software and its
551433a01cab initial coding
carl
parents:
diff changeset
9 # documentation for any purpose is hereby granted without fee, provided that
551433a01cab initial coding
carl
parents:
diff changeset
10 # the above copyright notice appear in all copies and that both that
551433a01cab initial coding
carl
parents:
diff changeset
11 # copyright notice and this permission notice appear in supporting
551433a01cab initial coding
carl
parents:
diff changeset
12 # documentation, and that the name of M.I.T. not be used in advertising or
551433a01cab initial coding
carl
parents:
diff changeset
13 # publicity pertaining to distribution of the software without specific,
551433a01cab initial coding
carl
parents:
diff changeset
14 # written prior permission. M.I.T. makes no representations about the
551433a01cab initial coding
carl
parents:
diff changeset
15 # suitability of this software for any purpose. It is provided "as is"
551433a01cab initial coding
carl
parents:
diff changeset
16 # without express or implied warranty.
551433a01cab initial coding
carl
parents:
diff changeset
17 #
551433a01cab initial coding
carl
parents:
diff changeset
18 # Calling this script install-sh is preferred over install.sh, to prevent
551433a01cab initial coding
carl
parents:
diff changeset
19 # `make' implicit rules from creating a file called install from it
551433a01cab initial coding
carl
parents:
diff changeset
20 # when there is no Makefile.
551433a01cab initial coding
carl
parents:
diff changeset
21 #
551433a01cab initial coding
carl
parents:
diff changeset
22 # This script is compatible with the BSD install script, but was written
551433a01cab initial coding
carl
parents:
diff changeset
23 # from scratch. It can only install one file at a time, a restriction
551433a01cab initial coding
carl
parents:
diff changeset
24 # shared with many OS's install programs.
551433a01cab initial coding
carl
parents:
diff changeset
25
551433a01cab initial coding
carl
parents:
diff changeset
26
551433a01cab initial coding
carl
parents:
diff changeset
27 # set DOITPROG to echo to test this script
551433a01cab initial coding
carl
parents:
diff changeset
28
551433a01cab initial coding
carl
parents:
diff changeset
29 # Don't use :- since 4.3BSD and earlier shells don't like it.
551433a01cab initial coding
carl
parents:
diff changeset
30 doit="${DOITPROG-}"
551433a01cab initial coding
carl
parents:
diff changeset
31
551433a01cab initial coding
carl
parents:
diff changeset
32
551433a01cab initial coding
carl
parents:
diff changeset
33 # put in absolute paths if you don't have them in your path; or use env. vars.
551433a01cab initial coding
carl
parents:
diff changeset
34
551433a01cab initial coding
carl
parents:
diff changeset
35 mvprog="${MVPROG-mv}"
551433a01cab initial coding
carl
parents:
diff changeset
36 cpprog="${CPPROG-cp}"
551433a01cab initial coding
carl
parents:
diff changeset
37 chmodprog="${CHMODPROG-chmod}"
551433a01cab initial coding
carl
parents:
diff changeset
38 chownprog="${CHOWNPROG-chown}"
551433a01cab initial coding
carl
parents:
diff changeset
39 chgrpprog="${CHGRPPROG-chgrp}"
551433a01cab initial coding
carl
parents:
diff changeset
40 stripprog="${STRIPPROG-strip}"
551433a01cab initial coding
carl
parents:
diff changeset
41 rmprog="${RMPROG-rm}"
551433a01cab initial coding
carl
parents:
diff changeset
42 mkdirprog="${MKDIRPROG-mkdir}"
551433a01cab initial coding
carl
parents:
diff changeset
43
551433a01cab initial coding
carl
parents:
diff changeset
44 transformbasename=""
551433a01cab initial coding
carl
parents:
diff changeset
45 transform_arg=""
551433a01cab initial coding
carl
parents:
diff changeset
46 instcmd="$mvprog"
551433a01cab initial coding
carl
parents:
diff changeset
47 chmodcmd="$chmodprog 0755"
551433a01cab initial coding
carl
parents:
diff changeset
48 chowncmd=""
551433a01cab initial coding
carl
parents:
diff changeset
49 chgrpcmd=""
551433a01cab initial coding
carl
parents:
diff changeset
50 stripcmd=""
551433a01cab initial coding
carl
parents:
diff changeset
51 rmcmd="$rmprog -f"
551433a01cab initial coding
carl
parents:
diff changeset
52 mvcmd="$mvprog"
551433a01cab initial coding
carl
parents:
diff changeset
53 src=""
551433a01cab initial coding
carl
parents:
diff changeset
54 dst=""
551433a01cab initial coding
carl
parents:
diff changeset
55 dir_arg=""
551433a01cab initial coding
carl
parents:
diff changeset
56
551433a01cab initial coding
carl
parents:
diff changeset
57 while [ x"$1" != x ]; do
551433a01cab initial coding
carl
parents:
diff changeset
58 case $1 in
551433a01cab initial coding
carl
parents:
diff changeset
59 -c) instcmd=$cpprog
551433a01cab initial coding
carl
parents:
diff changeset
60 shift
551433a01cab initial coding
carl
parents:
diff changeset
61 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
62
551433a01cab initial coding
carl
parents:
diff changeset
63 -d) dir_arg=true
551433a01cab initial coding
carl
parents:
diff changeset
64 shift
551433a01cab initial coding
carl
parents:
diff changeset
65 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
66
551433a01cab initial coding
carl
parents:
diff changeset
67 -m) chmodcmd="$chmodprog $2"
551433a01cab initial coding
carl
parents:
diff changeset
68 shift
551433a01cab initial coding
carl
parents:
diff changeset
69 shift
551433a01cab initial coding
carl
parents:
diff changeset
70 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
71
551433a01cab initial coding
carl
parents:
diff changeset
72 -o) chowncmd="$chownprog $2"
551433a01cab initial coding
carl
parents:
diff changeset
73 shift
551433a01cab initial coding
carl
parents:
diff changeset
74 shift
551433a01cab initial coding
carl
parents:
diff changeset
75 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
76
551433a01cab initial coding
carl
parents:
diff changeset
77 -g) chgrpcmd="$chgrpprog $2"
551433a01cab initial coding
carl
parents:
diff changeset
78 shift
551433a01cab initial coding
carl
parents:
diff changeset
79 shift
551433a01cab initial coding
carl
parents:
diff changeset
80 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
81
551433a01cab initial coding
carl
parents:
diff changeset
82 -s) stripcmd=$stripprog
551433a01cab initial coding
carl
parents:
diff changeset
83 shift
551433a01cab initial coding
carl
parents:
diff changeset
84 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
85
551433a01cab initial coding
carl
parents:
diff changeset
86 -t=*) transformarg=`echo $1 | sed 's/-t=//'`
551433a01cab initial coding
carl
parents:
diff changeset
87 shift
551433a01cab initial coding
carl
parents:
diff changeset
88 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
89
551433a01cab initial coding
carl
parents:
diff changeset
90 -b=*) transformbasename=`echo $1 | sed 's/-b=//'`
551433a01cab initial coding
carl
parents:
diff changeset
91 shift
551433a01cab initial coding
carl
parents:
diff changeset
92 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
93
551433a01cab initial coding
carl
parents:
diff changeset
94 *) if [ x"$src" = x ]
551433a01cab initial coding
carl
parents:
diff changeset
95 then
551433a01cab initial coding
carl
parents:
diff changeset
96 src=$1
551433a01cab initial coding
carl
parents:
diff changeset
97 else
551433a01cab initial coding
carl
parents:
diff changeset
98 # this colon is to work around a 386BSD /bin/sh bug
551433a01cab initial coding
carl
parents:
diff changeset
99 :
551433a01cab initial coding
carl
parents:
diff changeset
100 dst=$1
551433a01cab initial coding
carl
parents:
diff changeset
101 fi
551433a01cab initial coding
carl
parents:
diff changeset
102 shift
551433a01cab initial coding
carl
parents:
diff changeset
103 continue;;
551433a01cab initial coding
carl
parents:
diff changeset
104 esac
551433a01cab initial coding
carl
parents:
diff changeset
105 done
551433a01cab initial coding
carl
parents:
diff changeset
106
551433a01cab initial coding
carl
parents:
diff changeset
107 if [ x"$src" = x ]
551433a01cab initial coding
carl
parents:
diff changeset
108 then
551433a01cab initial coding
carl
parents:
diff changeset
109 echo "$0: no input file specified" >&2
551433a01cab initial coding
carl
parents:
diff changeset
110 exit 1
551433a01cab initial coding
carl
parents:
diff changeset
111 else
551433a01cab initial coding
carl
parents:
diff changeset
112 :
551433a01cab initial coding
carl
parents:
diff changeset
113 fi
551433a01cab initial coding
carl
parents:
diff changeset
114
551433a01cab initial coding
carl
parents:
diff changeset
115 if [ x"$dir_arg" != x ]; then
551433a01cab initial coding
carl
parents:
diff changeset
116 dst=$src
551433a01cab initial coding
carl
parents:
diff changeset
117 src=""
551433a01cab initial coding
carl
parents:
diff changeset
118
551433a01cab initial coding
carl
parents:
diff changeset
119 if [ -d "$dst" ]; then
551433a01cab initial coding
carl
parents:
diff changeset
120 instcmd=:
551433a01cab initial coding
carl
parents:
diff changeset
121 chmodcmd=""
551433a01cab initial coding
carl
parents:
diff changeset
122 else
551433a01cab initial coding
carl
parents:
diff changeset
123 instcmd=$mkdirprog
551433a01cab initial coding
carl
parents:
diff changeset
124 fi
551433a01cab initial coding
carl
parents:
diff changeset
125 else
551433a01cab initial coding
carl
parents:
diff changeset
126
551433a01cab initial coding
carl
parents:
diff changeset
127 # Waiting for this to be detected by the "$instcmd $src $dsttmp" command
551433a01cab initial coding
carl
parents:
diff changeset
128 # might cause directories to be created, which would be especially bad
551433a01cab initial coding
carl
parents:
diff changeset
129 # if $src (and thus $dsttmp) contains '*'.
551433a01cab initial coding
carl
parents:
diff changeset
130
551433a01cab initial coding
carl
parents:
diff changeset
131 if [ -f "$src" ] || [ -d "$src" ]
551433a01cab initial coding
carl
parents:
diff changeset
132 then
551433a01cab initial coding
carl
parents:
diff changeset
133 :
551433a01cab initial coding
carl
parents:
diff changeset
134 else
551433a01cab initial coding
carl
parents:
diff changeset
135 echo "$0: $src does not exist" >&2
551433a01cab initial coding
carl
parents:
diff changeset
136 exit 1
551433a01cab initial coding
carl
parents:
diff changeset
137 fi
551433a01cab initial coding
carl
parents:
diff changeset
138
551433a01cab initial coding
carl
parents:
diff changeset
139 if [ x"$dst" = x ]
551433a01cab initial coding
carl
parents:
diff changeset
140 then
551433a01cab initial coding
carl
parents:
diff changeset
141 echo "$0: no destination specified" >&2
551433a01cab initial coding
carl
parents:
diff changeset
142 exit 1
551433a01cab initial coding
carl
parents:
diff changeset
143 else
551433a01cab initial coding
carl
parents:
diff changeset
144 :
551433a01cab initial coding
carl
parents:
diff changeset
145 fi
551433a01cab initial coding
carl
parents:
diff changeset
146
551433a01cab initial coding
carl
parents:
diff changeset
147 # If destination is a directory, append the input filename; if your system
551433a01cab initial coding
carl
parents:
diff changeset
148 # does not like double slashes in filenames, you may need to add some logic
551433a01cab initial coding
carl
parents:
diff changeset
149
551433a01cab initial coding
carl
parents:
diff changeset
150 if [ -d "$dst" ]
551433a01cab initial coding
carl
parents:
diff changeset
151 then
551433a01cab initial coding
carl
parents:
diff changeset
152 dst=$dst/`basename "$src"`
551433a01cab initial coding
carl
parents:
diff changeset
153 else
551433a01cab initial coding
carl
parents:
diff changeset
154 :
551433a01cab initial coding
carl
parents:
diff changeset
155 fi
551433a01cab initial coding
carl
parents:
diff changeset
156 fi
551433a01cab initial coding
carl
parents:
diff changeset
157
551433a01cab initial coding
carl
parents:
diff changeset
158 ## this sed command emulates the dirname command
551433a01cab initial coding
carl
parents:
diff changeset
159 dstdir=`echo "$dst" | sed -e 's,[^/]*$,,;s,/$,,;s,^$,.,'`
551433a01cab initial coding
carl
parents:
diff changeset
160
551433a01cab initial coding
carl
parents:
diff changeset
161 # Make sure that the destination directory exists.
551433a01cab initial coding
carl
parents:
diff changeset
162 # this part is taken from Noah Friedman's mkinstalldirs script
551433a01cab initial coding
carl
parents:
diff changeset
163
551433a01cab initial coding
carl
parents:
diff changeset
164 # Skip lots of stat calls in the usual case.
551433a01cab initial coding
carl
parents:
diff changeset
165 if [ ! -d "$dstdir" ]; then
551433a01cab initial coding
carl
parents:
diff changeset
166 defaultIFS='
551433a01cab initial coding
carl
parents:
diff changeset
167 '
551433a01cab initial coding
carl
parents:
diff changeset
168 IFS="${IFS-$defaultIFS}"
551433a01cab initial coding
carl
parents:
diff changeset
169
551433a01cab initial coding
carl
parents:
diff changeset
170 oIFS=$IFS
551433a01cab initial coding
carl
parents:
diff changeset
171 # Some sh's can't handle IFS=/ for some reason.
551433a01cab initial coding
carl
parents:
diff changeset
172 IFS='%'
551433a01cab initial coding
carl
parents:
diff changeset
173 set - `echo "$dstdir" | sed -e 's@/@%@g' -e 's@^%@/@'`
551433a01cab initial coding
carl
parents:
diff changeset
174 IFS=$oIFS
551433a01cab initial coding
carl
parents:
diff changeset
175
551433a01cab initial coding
carl
parents:
diff changeset
176 pathcomp=''
551433a01cab initial coding
carl
parents:
diff changeset
177
551433a01cab initial coding
carl
parents:
diff changeset
178 while [ $# -ne 0 ] ; do
551433a01cab initial coding
carl
parents:
diff changeset
179 pathcomp=$pathcomp$1
551433a01cab initial coding
carl
parents:
diff changeset
180 shift
551433a01cab initial coding
carl
parents:
diff changeset
181
551433a01cab initial coding
carl
parents:
diff changeset
182 if [ ! -d "$pathcomp" ] ;
551433a01cab initial coding
carl
parents:
diff changeset
183 then
551433a01cab initial coding
carl
parents:
diff changeset
184 $mkdirprog "$pathcomp"
551433a01cab initial coding
carl
parents:
diff changeset
185 else
551433a01cab initial coding
carl
parents:
diff changeset
186 :
551433a01cab initial coding
carl
parents:
diff changeset
187 fi
551433a01cab initial coding
carl
parents:
diff changeset
188
551433a01cab initial coding
carl
parents:
diff changeset
189 pathcomp=$pathcomp/
551433a01cab initial coding
carl
parents:
diff changeset
190 done
551433a01cab initial coding
carl
parents:
diff changeset
191 fi
551433a01cab initial coding
carl
parents:
diff changeset
192
551433a01cab initial coding
carl
parents:
diff changeset
193 if [ x"$dir_arg" != x ]
551433a01cab initial coding
carl
parents:
diff changeset
194 then
551433a01cab initial coding
carl
parents:
diff changeset
195 $doit $instcmd "$dst" &&
551433a01cab initial coding
carl
parents:
diff changeset
196
551433a01cab initial coding
carl
parents:
diff changeset
197 if [ x"$chowncmd" != x ]; then $doit $chowncmd "$dst"; else : ; fi &&
551433a01cab initial coding
carl
parents:
diff changeset
198 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd "$dst"; else : ; fi &&
551433a01cab initial coding
carl
parents:
diff changeset
199 if [ x"$stripcmd" != x ]; then $doit $stripcmd "$dst"; else : ; fi &&
551433a01cab initial coding
carl
parents:
diff changeset
200 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd "$dst"; else : ; fi
551433a01cab initial coding
carl
parents:
diff changeset
201 else
551433a01cab initial coding
carl
parents:
diff changeset
202
551433a01cab initial coding
carl
parents:
diff changeset
203 # If we're going to rename the final executable, determine the name now.
551433a01cab initial coding
carl
parents:
diff changeset
204
551433a01cab initial coding
carl
parents:
diff changeset
205 if [ x"$transformarg" = x ]
551433a01cab initial coding
carl
parents:
diff changeset
206 then
551433a01cab initial coding
carl
parents:
diff changeset
207 dstfile=`basename "$dst"`
551433a01cab initial coding
carl
parents:
diff changeset
208 else
551433a01cab initial coding
carl
parents:
diff changeset
209 dstfile=`basename "$dst" $transformbasename |
551433a01cab initial coding
carl
parents:
diff changeset
210 sed $transformarg`$transformbasename
551433a01cab initial coding
carl
parents:
diff changeset
211 fi
551433a01cab initial coding
carl
parents:
diff changeset
212
551433a01cab initial coding
carl
parents:
diff changeset
213 # don't allow the sed command to completely eliminate the filename
551433a01cab initial coding
carl
parents:
diff changeset
214
551433a01cab initial coding
carl
parents:
diff changeset
215 if [ x"$dstfile" = x ]
551433a01cab initial coding
carl
parents:
diff changeset
216 then
551433a01cab initial coding
carl
parents:
diff changeset
217 dstfile=`basename "$dst"`
551433a01cab initial coding
carl
parents:
diff changeset
218 else
551433a01cab initial coding
carl
parents:
diff changeset
219 :
551433a01cab initial coding
carl
parents:
diff changeset
220 fi
551433a01cab initial coding
carl
parents:
diff changeset
221
551433a01cab initial coding
carl
parents:
diff changeset
222 # Make a couple of temp file names in the proper directory.
551433a01cab initial coding
carl
parents:
diff changeset
223
551433a01cab initial coding
carl
parents:
diff changeset
224 dsttmp=$dstdir/#inst.$$#
551433a01cab initial coding
carl
parents:
diff changeset
225 rmtmp=$dstdir/#rm.$$#
551433a01cab initial coding
carl
parents:
diff changeset
226
551433a01cab initial coding
carl
parents:
diff changeset
227 # Trap to clean up temp files at exit.
551433a01cab initial coding
carl
parents:
diff changeset
228
551433a01cab initial coding
carl
parents:
diff changeset
229 trap 'status=$?; rm -f "$dsttmp" "$rmtmp" && exit $status' 0
551433a01cab initial coding
carl
parents:
diff changeset
230 trap '(exit $?); exit' 1 2 13 15
551433a01cab initial coding
carl
parents:
diff changeset
231
551433a01cab initial coding
carl
parents:
diff changeset
232 # Move or copy the file name to the temp name
551433a01cab initial coding
carl
parents:
diff changeset
233
551433a01cab initial coding
carl
parents:
diff changeset
234 $doit $instcmd "$src" "$dsttmp" &&
551433a01cab initial coding
carl
parents:
diff changeset
235
551433a01cab initial coding
carl
parents:
diff changeset
236 # and set any options; do chmod last to preserve setuid bits
551433a01cab initial coding
carl
parents:
diff changeset
237
551433a01cab initial coding
carl
parents:
diff changeset
238 # If any of these fail, we abort the whole thing. If we want to
551433a01cab initial coding
carl
parents:
diff changeset
239 # ignore errors from any of these, just make sure not to ignore
551433a01cab initial coding
carl
parents:
diff changeset
240 # errors from the above "$doit $instcmd $src $dsttmp" command.
551433a01cab initial coding
carl
parents:
diff changeset
241
551433a01cab initial coding
carl
parents:
diff changeset
242 if [ x"$chowncmd" != x ]; then $doit $chowncmd "$dsttmp"; else :;fi &&
551433a01cab initial coding
carl
parents:
diff changeset
243 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd "$dsttmp"; else :;fi &&
551433a01cab initial coding
carl
parents:
diff changeset
244 if [ x"$stripcmd" != x ]; then $doit $stripcmd "$dsttmp"; else :;fi &&
551433a01cab initial coding
carl
parents:
diff changeset
245 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd "$dsttmp"; else :;fi &&
551433a01cab initial coding
carl
parents:
diff changeset
246
551433a01cab initial coding
carl
parents:
diff changeset
247 # Now remove or move aside any old file at destination location. We try this
551433a01cab initial coding
carl
parents:
diff changeset
248 # two ways since rm can't unlink itself on some systems and the destination
551433a01cab initial coding
carl
parents:
diff changeset
249 # file might be busy for other reasons. In this case, the final cleanup
551433a01cab initial coding
carl
parents:
diff changeset
250 # might fail but the new file should still install successfully.
551433a01cab initial coding
carl
parents:
diff changeset
251
551433a01cab initial coding
carl
parents:
diff changeset
252 {
551433a01cab initial coding
carl
parents:
diff changeset
253 if [ -f "$dstdir/$dstfile" ]
551433a01cab initial coding
carl
parents:
diff changeset
254 then
551433a01cab initial coding
carl
parents:
diff changeset
255 $doit $rmcmd -f "$dstdir/$dstfile" 2>/dev/null ||
551433a01cab initial coding
carl
parents:
diff changeset
256 $doit $mvcmd -f "$dstdir/$dstfile" "$rmtmp" 2>/dev/null ||
551433a01cab initial coding
carl
parents:
diff changeset
257 {
551433a01cab initial coding
carl
parents:
diff changeset
258 echo "$0: cannot unlink or rename $dstdir/$dstfile" >&2
551433a01cab initial coding
carl
parents:
diff changeset
259 (exit 1); exit
551433a01cab initial coding
carl
parents:
diff changeset
260 }
551433a01cab initial coding
carl
parents:
diff changeset
261 else
551433a01cab initial coding
carl
parents:
diff changeset
262 :
551433a01cab initial coding
carl
parents:
diff changeset
263 fi
551433a01cab initial coding
carl
parents:
diff changeset
264 } &&
551433a01cab initial coding
carl
parents:
diff changeset
265
551433a01cab initial coding
carl
parents:
diff changeset
266 # Now rename the file to the real destination.
551433a01cab initial coding
carl
parents:
diff changeset
267
551433a01cab initial coding
carl
parents:
diff changeset
268 $doit $mvcmd "$dsttmp" "$dstdir/$dstfile"
551433a01cab initial coding
carl
parents:
diff changeset
269
551433a01cab initial coding
carl
parents:
diff changeset
270 fi &&
551433a01cab initial coding
carl
parents:
diff changeset
271
551433a01cab initial coding
carl
parents:
diff changeset
272 # The final little trick to "correctly" pass the exit status to the exit trap.
551433a01cab initial coding
carl
parents:
diff changeset
273
551433a01cab initial coding
carl
parents:
diff changeset
274 {
551433a01cab initial coding
carl
parents:
diff changeset
275 (exit 0); exit
551433a01cab initial coding
carl
parents:
diff changeset
276 }