$InitialPath = ""; $GETResult = urldecode(html('

repo_sync tools v1.12

')); IF ("$GETResult"=="") {sub "_Cancel";} // substr $GETResult, $GETResult, 1; $operation1=gettoken($GETResult, "1", "&"); $platform1=gettoken($GETResult, "2", "&"); $ok=gettoken($a, "3", "&"); $operation=gettoken($operation1,2,"="); $platform=gettoken($platform1,2,"="); run "cmd /k cd /d F:\dist\Develop\Python\crawl_github\dist && repo_sync $operation --platform $platform --repo_path " "_Cancel" // msg "Cancled by user"; sub "_EOF"; "_EOF" END 1==1; //EOF