3 max_level = "debug"; (* Log level *)
5 type = "stderr"; (* Log to stderr *)
9 name = "My HTTP file service";
11 (* This section creates the socket *)
15 bind = "0.0.0.0:9999"; (* Port 9999 on all interfaces *)
19 (* This section specifies how to process data of the socket *)
22 (* Think of Apache's "virtual hosts" *)
23 pref_name = "localhost";
25 names = "*:0"; (* Which requests are matched here: all *)
30 docroot = "/home/matitaweb/matita/matita";
31 media_types_file = "/etc/mime.types";
32 enable_listings = true;
130 max_jobs_per_thread = 1; (* Everything else is senseless *)
131 min_free_jobs_capacity = 1;
132 max_free_jobs_capacity = 1;