| 1234567891011121314151617181920 |
- set address=%1
- set username=%2
- set params=%1
- :loop
- shift
- if [%1]==[] goto afterloop
- set params=%params% %1
- goto loop
- :afterloop
- rem pop it once more
- set params=%1
- goto loop
- curl $address -d "op=set_input&username=user_manager&element_type=V&value=\"$username\"" -s -S >> /dev/null
- python interface/HUTN/hutn_compiler/linker.py $address $username "$@"
|
