X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb;h=a5971a4aadf767ce4f6564d87c971f338a2f6475;hb=93db728b3f690d2c683f64833353da685a6f1b65;hp=8c52197bce505aab2e399b971cd594be6262b67a;hpb=7f28a5e47bd10355fee4332fe77bbfcca15f39d6;p=helm.git

diff --git a/matitaB/matita/matitaweb b/matitaB/matita/matitaweb
index 8c52197bc..a5971a4aa 100755
--- 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