]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/netplex.conf
- lib: some additions
[helm.git] / matitaB / matita / netplex.conf
1 netplex {
2   controller {
3     max_level = "debug";    (* Log level *)
4     logging {
5       type = "stderr";      (* Log to stderr *)
6     }
7   };
8   service {
9     name = "My HTTP file service";
10     protocol {
11       (* This section creates the socket *)
12       name = "http";
13       address {
14         type = "internet";
15         bind = "0.0.0.0:9999";  (* Port 9999 on all interfaces *)
16       };
17     };
18     processor {
19       (* This section specifies how to process data of the socket *)
20       type = "nethttpd";
21       host {
22         (* Think of Apache's "virtual hosts" *)
23         pref_name = "localhost";
24         pref_port = 9999;
25         names = "*:0";   (* Which requests are matched here: all *)
26         uri {
27           path = "/";
28           service {
29             type = "file";
30             docroot = "/home/matitaweb/matita/matita/html";
31             media_types_file = "/etc/mime.types";
32             enable_listings = true;
33           }
34         };
35         uri {
36           path = "/open";
37           service {
38             type = "dynamic";
39             handler = "open";
40           }
41         };
42         uri {
43           path = "/advance";
44           service {
45             type = "dynamic";
46             handler = "advance";
47           }
48         };
49         uri {
50           path = "/retract";
51           service {
52             type = "dynamic";
53             handler = "retract";
54           }
55         };
56         uri {
57           path = "/bottom";
58           service {
59             type = "dynamic";
60             handler = "bottom";
61           }
62         };
63         uri {
64           path = "/top";
65           service {
66             type = "dynamic";
67             handler = "top";
68           }
69         };
70         uri {
71           path = "/register";
72           service {
73             type = "dynamic";
74             handler = "register";
75           }
76         };
77         uri {
78           path = "/login";
79           service {
80             type = "dynamic";
81             handler = "login";
82           }
83         };
84         uri {
85           path = "/logout";
86           service {
87             type = "dynamic";
88             handler = "logout";
89           }
90         };
91         uri {
92           path = "/viewlib";
93           service {
94             type = "dynamic";
95             handler = "viewlib";
96           }
97         };
98         uri {
99           path = "/reset";
100           service {
101             type = "dynamic";
102             handler = "reset";
103           }
104         };
105         uri {
106           path = "/save";
107           service {
108             type = "dynamic";
109             handler = "save";
110           }
111         };
112         uri {
113           path = "/commit";
114           service {
115             type = "dynamic";
116             handler = "commit";
117           }
118         };
119         uri {
120           path = "/update";
121           service {
122             type = "dynamic";
123             handler = "update";
124           }
125         };
126       };
127     };
128     workload_manager {
129       type = "dynamic";
130       max_jobs_per_thread = 1;  (* Everything else is senseless *)
131       min_free_jobs_capacity = 1;
132       max_free_jobs_capacity = 1;
133       max_threads = 20;
134     };
135   }
136 }
137