12345678910111213 |
- set address=%1
- set filename=%~f2
- set username=%3
- set modulename=%4
- set mode=%5
- # Leave this here too, as the call might crash early
- set command="op=set_input&username=user_manager&element_type=V&value=\"%username%\""
- python curl.py %address% %command%
- cd interface\HUTN
- python hutn_compiler/compiler.py $filename grammars/actionlanguage.g %mode% %username% %modulename% %filename% %address%
- cd ..\..
|