scsh-conservatory
/
sunet
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

minor changes

This commit is contained in:
interp 2002-04-26 08:35:58 +00:00
parent 74961f8bd4
commit 09dfa74792
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
doc/latex/url.tex
View File

@ -25,7 +25,7 @@ only the parsing of http URLs is implemented.
describes path-prefixes of the form
\semvar{user}:\semvar{password}@\semvar{host}:\semvar{port}. These
are frequently used as the initial prefix of URL's describing
Internet resources. Each slot is a decoded string or \sharpf (yes,
Internet resources. Each slot is a decoded string or \sharpf\ (yes,
\semvar{port} is also a string).
\ex{userhost?} is the corresponding predicate,
@ -41,12 +41,13 @@ only the parsing of http URLs is implemented.
\defun{parse-userhost}{path default}{userhost-record}
\begin{defundescx}{userhost->string}{userhost-record}{string}
\ex{parse\=userhost} parses a URI path (a list representing a path,
not a string!) into a userhost record. Default values are taken from
the userhost record \semvar{default} except for the host. The values
are unescaped and stored into a userhost record that is returned.
\ex{fatal\=syntax\=error} is called, if the specified path has no
initial to slashes (i.e., it starts with `//\ldots').
\ex{parse\=userhost} parses a URI \semvar{path} (a list representing
a path, not a string!) into a userhost record. Default values are
taken from the userhost record \semvar{default} except for the
host. The values are unescaped and stored into a userhost record
that is returned. \ex{fatal\=syntax\=error} is called, if the
specified path has no initial to slashes (i.e., it starts with
`//\ldots').
\ex{userhost->string} just does the inverse job: it unparses
\semvar{userhost-record} into a string. The elements of the record