adding parameter notypecheck to abssyntaxchecker

Author: jesusjda

server/bin/envisage/abssyntaxchecker/abssyntaxchecker.sh

@@ -11,11 +11,7 @@ echo "<eicommands>"
 
 java -jar $ABSFRONTEND $root ${@:2} 2> $tmpdir/abssyntaxchecker.stderr
 
-if [ $? == 0 ]; then
-    echo "<printonconsole>"
-    echo "<content format='text'>Your program compiles correctly!!</content>"
-    echo "</printonconsole>"
-else
+if [ -s  $tmpdir/abssyntaxchecker.stderr ] ; then
     echo "<printonconsole>"
     echo "<content format='text'>There are some compilation errors! See markers in the code area!!</content>"
     echo "</printonconsole>"
@@ -29,6 +25,10 @@ else
     }
 }
 '
+else
+    echo "<printonconsole>"
+    echo "<content format='text'>Your program compiles correctly!!</content>"
+    echo "</printonconsole>"
 fi
 
 echo "</eicommands>"

server/config/envisage/abssyntaxchecker/abssyntaxchecker.cfg

@@ -8,8 +8,15 @@
     </desc>
   </appinfo>
   <execinfo  method="cmdline"> 
-    <cmdlineapp>./envisage/abssyntaxchecker/abssyntaxchecker.sh _ei_root _ei_files</cmdlineapp>
+    <cmdlineapp>./envisage/abssyntaxchecker/abssyntaxchecker.sh  _ei_root _ei_files _ei_parameters</cmdlineapp>
   </execinfo>
   <parameters prefix="-">
+   <flag name="notypecheck"  explicit="false">
+      <desc>
+	<short>Disable typechecking</short>
+	<long>Disable typechecking</long>
+      </desc>
+      <default value="false"/>
+    </flag>
   </parameters>
 </app>