Minor corrections.
This commit is contained in:
parent
0016567893
commit
fd72e8f0a6
|
@ -59,7 +59,7 @@ Here is scsh's interface to dot-locking:
|
||||||
before it retries. If the lock cannot be obtained after
|
before it retries. If the lock cannot be obtained after
|
||||||
\var{retry-number} attempts, the procedure returns \sharpf,
|
\var{retry-number} attempts, the procedure returns \sharpf,
|
||||||
otherwise \sharpt. The default value of \var{retry-number} is
|
otherwise \sharpt. The default value of \var{retry-number} is
|
||||||
\sharpf which corresponds to an infinite number of retires.
|
\sharpf{} which corresponds to an infinite number of retires.
|
||||||
|
|
||||||
If \var{stale-time} is non-\sharpf, it specifies the minimum age a
|
If \var{stale-time} is non-\sharpf, it specifies the minimum age a
|
||||||
lock may have (in seconds) before it is considered \textit{stale}.
|
lock may have (in seconds) before it is considered \textit{stale}.
|
||||||
|
@ -72,7 +72,7 @@ Here is scsh's interface to dot-locking:
|
||||||
Note that it is possible that \ex{obtain-dot-lock} breaks a lock
|
Note that it is possible that \ex{obtain-dot-lock} breaks a lock
|
||||||
but nevertheless fails to obtain it otherwise. If it is necessary
|
but nevertheless fails to obtain it otherwise. If it is necessary
|
||||||
to handle this case specially, use \ex{break-dot-lock} directly
|
to handle this case specially, use \ex{break-dot-lock} directly
|
||||||
(see below) rather than specifying a non-\sharpf \var{stale-time}
|
(see below) rather than specifying a non-\sharpf{} \var{stale-time}
|
||||||
\end{desc}
|
\end{desc}
|
||||||
|
|
||||||
\defun {break-dot-lock} {file-name} {undefined}
|
\defun {break-dot-lock} {file-name} {undefined}
|
||||||
|
@ -99,10 +99,10 @@ Here is scsh's interface to dot-locking:
|
||||||
\dfnx{with-dot-lock} {file-name body \ldots} {value(s) of body}{syntax}
|
\dfnx{with-dot-lock} {file-name body \ldots} {value(s) of body}{syntax}
|
||||||
|
|
||||||
\begin{desc}
|
\begin{desc}
|
||||||
This procedure obtains the requested lock, and then calls
|
The procedure \ex{with-dot-lock*} obtains the requested lock, and
|
||||||
\ex{(\var{thunk})}. When \var{thunk} returns, the lock is released.
|
then calls \ex{(\var{thunk})}. When \var{thunk} returns, the lock is
|
||||||
A non-local exit (\eg, throwing to a saved continuation or raising
|
released. A non-local exit (\eg, throwing to a saved continuation
|
||||||
an exception) also causes the lock to be released.
|
or raising an exception) also causes the lock to be released.
|
||||||
|
|
||||||
After a normal return from \var{thunk}, its return values are
|
After a normal return from \var{thunk}, its return values are
|
||||||
returned by \ex{with-dot-lock*}. The \ex{with-dot-lock} special
|
returned by \ex{with-dot-lock*}. The \ex{with-dot-lock} special
|
||||||
|
|
Loading…
Reference in New Issue