On this page:
go!
2.1 How The Servlet Is Run
Version: 4.0.2.6

2 Instaservlet API

 (require (planet untyped/instaservlet/instaservlet))

The main function is go!:

(go!

 

servlet

 

 

 

 

 

 [

#:port port

 

 

 

 

 

 

#:listen-ip listen-ip

 

 

 

 

 

 

#:htdocs-path htdocs-path

 

 

 

 

 

 

#:mime-types-path mime-types-path

 

 

 

 

 

 

#:servlet-namespace servlet-namespace])

 

 

void?

  servlet : (-> request any)

  port : integer/c = 8765

  listen-ip : string? = "127.0.0.1"

  

htdocs-path

 

:

 

(listof (or/c path? string?))

 

 

 

=

 

default-htdocs-path

  mime-types-path : path? = default-mime-types-path

  

servlet-namespace

 

:

 

(listof require-spec)

 

 

 

=

 

default-servlet-namespace

Runs the given servlet in a web-server that has been setup (using Instaweb) with the given parameters (all of which are optional). By default the web server runs on port 8765 and listens only to connections from the localhost. Refer to the Instaweb documentation for more details.

2.1 How The Servlet Is Run

Instaweb takes care of some important servlet configuration details for you:

These settings will be made customisable in future releases on Instaservlet.