X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo-panel%2Fcontrol.html;h=e9e80d83116bb6fb77e04046fffed702eb5b866a;hb=6cf989363e4b92e47a5385ae4f01e77c5bbe4553;hp=96eed87652d8ae4d0d6d8505ac878416f5b59646;hpb=d59e63c50edaf0823b1d03ebf7fc259719b29a4f;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 96eed8765..e9e80d831 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -37,6 +37,7 @@ If you have troubles, please send an email to the author: The sections:
Daemon Management | +top | +
You can start a new daemon on a given port. The new daemon will have + an empty list of processed stylesheets. +
+Port | +|
---|---|
+ + | ++ + | +
You can also kill the daemon. The log file will be mantained.
++ + | +