mod change (-x)

[helm.git] / matitaB / matita / matitaweb

diff --git a/matitaB/matita/matitaweb b/matitaB/matita/matitaweb
old mode 100755 (executable)
new mode 100644 (file)
index 8c52197..a5971a4
--- 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