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";
  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 = "/register";
  65           service {
  66             type = "dynamic";
  67             handler = "register";
  68           }
  69         };
  70         uri {
  71           path = "/login";
  72           service {
  73             type = "dynamic";
  74             handler = "login";
  75           }
  76         };
  77         uri {
  78           path = "/logout";
  79           service {
  80             type = "dynamic";
  81             handler = "logout";
  82           }
  83         };
  84         uri {
  85           path = "/viewlib";
  86           service {
  87             type = "dynamic";
  88             handler = "viewlib";
  89           }
  90         };
  91         uri {
  92           path = "/reset";
  93           service {
  94             type = "dynamic";
  95             handler = "reset";
  96           }
  97         };
  98         uri {
  99           path = "/save";
 100           service {
 101             type = "dynamic";
 102             handler = "save";
 103           }
 104         };
 105         uri {
 106           path = "/commit";
 107           service {
 108             type = "dynamic";
 109             handler = "commit";
 110           }
 111         };
 112       };
 113     };
 114     workload_manager {
 115       type = "dynamic";
 116       max_jobs_per_thread = 1;  (* Everything else is senseless *)
 117       min_free_jobs_capacity = 1;
 118       max_free_jobs_capacity = 1;
 119       max_threads = 20;
 120     };
 121   }
 122 }
 123
 124