Merge pull request #433 from online-judge-tools/fix/sleep-windows

Change sleep command to time.sleep
online-judge-tools · Dec 9, 2023 · b5ea6d0 · b5ea6d0
2 parents 7a9ab40 + 0579e83
commit b5ea6d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/onlinejudge_verify/verify.py b/onlinejudge_verify/verify.py
@@ -76,7 +76,7 @@ def verify_file(path: pathlib.Path, *, compilers: List[str], tle: float, jobs: i
     directory = pathlib.Path('.verify-helper/cache') / hashlib.md5(url.encode()).hexdigest()
     if not (directory / 'test').exists() or list((directory / 'test').iterdir()) == []:
         directory.mkdir(parents=True, exist_ok=True)
-        exec_command(['sleep', '2'])
+        time.sleep(2)
         command = ['oj', 'download', '--system', '-d', str(directory / 'test'), '--silent', url]
 
         if os.environ.get('DROPBOX_TOKEN'):