suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updating documentation to explain new HTTP-related configuration parameters.

Browse Source 
svn: r580
This commit is contained in:
Jacob Matthews 2005-08-11 02:25:19 +00:00
parent 51f56a3cdc
commit 642b5571bd
1 changed files with 30 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
collects/planet/doc.txt
View File

@ -49,19 +49,6 @@ PLaneT works.
Parameters: Parameters:
> (PLANET-SERVER-NAME) -> string
> (PLANET-SERVER-NAME string) -> void
The name of the PLaneT server to which the client should connect if it
needs to fetch a package. The default value for this parameter is
"planet.plt-scheme.org".
> (PLANET-SERVER-PORT) -> Nat
> (PLANET-SERVER-PORT Nat) -> void
The port on the server the client should connect to. The default value
for this parameter is 270.
> (PLANET-DIR) -> directory-string > (PLANET-DIR) -> directory-string
> (PLANET-DIR directory-string) -> void > (PLANET-DIR directory-string) -> void
@ -89,6 +76,35 @@ If #f, indicates that no logging should take place. Otherwise
specifies the file into which logging should be written. The default specifies the file into which logging should be written. The default
is the file "INSTALL-LOG" in the root PLaneT directory. is the file "INSTALL-LOG" in the root PLaneT directory.
> (USE-HTTP-DOWNLOADS?) -> boolean
> (USE-HTTP-DOWNLOADS? boolean) -> void
PLaneT can use two different protocols to retrieve packages. If #t,
PLaneT will use the HTTP protocol; if #f it will use the custom-built
PLaneT protocol. The default value for this parameter is #t.
> (HTTP-DOWNLOAD-SERVLET-URL) -> url-string
> (HTTP-DOWNLOAD-SERVLET-URL url-string) -> void
The URL for the servlet that will provide PLaneT packages if
USE-HTTP-DOWNLOADS? is #t, represented as a string. The default
value is "http://planet.plt-scheme.org/servlets/planet-servlet.ss".
> (PLANET-SERVER-NAME) -> string
> (PLANET-SERVER-NAME string) -> void
The name of the PLaneT server to which the client should connect if
USE-HTTP-DOWNLOADS? is #f. The default value for this parameter is
"planet.plt-scheme.org".
> (PLANET-SERVER-PORT) -> Nat
> (PLANET-SERVER-PORT Nat) -> void
The port on the server the client should connect to if
USE-HTTP-DOWNLOADS? is #f. The default value for this parameter is
270.
Note that while these parameters can be useful to modify Note that while these parameters can be useful to modify
programmatically, PLaneT code runs at module-expansion time and so programmatically, PLaneT code runs at module-expansion time and so
most user programs cannot set them until PLaneT has already most user programs cannot set them until PLaneT has already
@ -328,7 +344,7 @@ An example info.ss file looks like this:
(list "My application runs 60% faster on 20% less peanut " (list "My application runs 60% faster on 20% less peanut "
"butter. It even shows a fancy graphic!")) "butter. It even shows a fancy graphic!"))
(define primary-file "my-app.ss") (define primary-file "my-app.ss")
(define doc.txt '("doc.txt")) (define doc.txt "doc.txt")
(define categories '(system xml))) (define categories '(system xml)))
See the PLT mzc: MzScheme Compiler Manual, chapter 7 for more See the PLT mzc: MzScheme Compiler Manual, chapter 7 for more