| 1234567891011121314151617 |
- #!/bin/bash
- set -e
- source library.sh
- address=$1
- filename=`realpath $2`
- username=$3
- modulename=$4
- mode=$5
- # Leave this here too, as the call might crash early
- curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
- cd interface/HUTN
- ${python} hutn_compiler/compiler.py $filename grammars/actionlanguage.g $mode $username $modulename $filename $address
|
