Matitaweb:

[helm.git] / matitaB / matita / matitaweb

diff --git a/matitaB/matita/matitaweb b/matitaB/matita/matitaweb
index 8c52197bce505aab2e399b971cd594be6262b67a..a5971a4aadf767ce4f6564d87c971f338a2f6475 100755 (executable)
--- a/matitaB/matita/matitaweb
+++ b/matitaB/matita/matitaweb
@@ -1,2 +1,5 @@
 #!
-./matitadaemon -conf netplex.conf
+rm -f nohup.out
+echo running matitaweb
+#nohup ./matitadaemon -conf netplex.conf
+./matitadaemon -conf netplex.conf 2> /dev/null