| author | traytel |
| Thu, 29 Sep 2011 09:37:59 +0200 | |
| changeset 45102 | 7bb89635eb51 |
| parent 33817 | f6a4da31f2f1 |
| permissions | -rw-r--r-- |
| 33817 | 1 |
server.port = 8000 |
2 |
||
3 |
# debug.log-request-header = "enable" |
|
4 |
# debug.log-file-not-found = "enable" |
|
5 |
# debug.log-request-handling = "enable" |
|
6 |
# debug.log-response-header = "enable" |
|
7 |
||
8 |
mimetype.assign = ( |
|
9 |
".html" => "text/html; charset=UTF-8", |
|
10 |
".css" => "text/css; charset=UTF-8", |
|
11 |
) |
|
12 |
||
13 |
server.modules = ( "mod_scgi" ) |
|
14 |
||
15 |
scgi.server = ("/isabelle" => ((
|
|
16 |
"host" => "127.0.0.1", |
|
17 |
"port" => 64000, |
|
18 |
"check-local" => "disable" |
|
19 |
))) |
|
20 |