]>
matita.cs.unibo.it Git - helm.git/blobdiff - matitaB/matita/netplex.conf
handler = "reset";
}
};
+ uri {
+ path = "/save";
+ service {
+ type = "dynamic";
+ handler = "save";
+ }
+ };
+ uri {
+ path = "/commit";
+ service {
+ type = "dynamic";
+ handler = "commit";
+ }
+ };
};
};
workload_manager {