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

repo_sync tools v1.12

Repo:  ' . $InitialPath . '
Operation:Create  Push  Pull  Delete  
Platform:Github  Gitlab  Gitee  git.yoq.me  Coding  
')); 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,"="); text runret("F:\dist\Develop\Python\crawl_github\dist\repo_sync.exe $operation --platform $platform --repo_path ","F:\dist\Develop\Python\crawl_github\dist\") "_Cancel" // msg "Cancled by user"; sub "_EOF"; "_EOF" END 1==1; //EOF