K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-03-19T23:27:57.000000Z
K 7
svn:log
V 118
Fixed bug introduced in the previous commit - the lock must be held until
after the call to exec_check_permissions().

END