arthurcai/Joint-Teapot
2
0
Fork 0
forked from JOJ/Joint-Teapot
Code Pull Requests Activity

fix: lock file path

Browse Source
This commit is contained in:
张泊明518370910136 2024-10-17 22:54:58 -04:00
parent 940112e696
commit 80770873aa
Signed by untrusted user: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
joint_teapot/app.py
View File

@ -250,9 +250,10 @@ def joj3_scoreboard(
logger.info(f"debug log to file: {settings.log_file_path}") logger.info(f"debug log to file: {settings.log_file_path}")
if joj3.check_skipped(score_file_path, "skip-scoreboard"): if joj3.check_skipped(score_file_path, "skip-scoreboard"):
return return
lock = FileLock( lock_file_path = os.path.join(
settings.joj3_lock_file_path, timeout=settings.joj3_lock_file_timeout settings.repos_dir, repo_name, settings.joj3_lock_file_path
) )
lock = FileLock(lock_file_path, timeout=settings.joj3_lock_file_timeout)
with lock.acquire(): with lock.acquire():
repo_path = tea.pot.git.repo_clean_and_checkout(repo_name, "grading") repo_path = tea.pot.git.repo_clean_and_checkout(repo_name, "grading")
repo: Repo = tea.pot.git.get_repo(repo_name) repo: Repo = tea.pot.git.get_repo(repo_name)
@ -325,9 +326,10 @@ def joj3_failed_table(
logger.info(f"debug log to file: {settings.log_file_path}") logger.info(f"debug log to file: {settings.log_file_path}")
if joj3.check_skipped(score_file_path, "skip-failed-table"): if joj3.check_skipped(score_file_path, "skip-failed-table"):
return return
lock = FileLock( lock_file_path = os.path.join(
settings.joj3_lock_file_path, timeout=settings.joj3_lock_file_timeout settings.repos_dir, repo_name, settings.joj3_lock_file_path
) )
lock = FileLock(lock_file_path, timeout=settings.joj3_lock_file_timeout)
with lock.acquire(): with lock.acquire():
repo_path = tea.pot.git.repo_clean_and_checkout(repo_name, "grading") repo_path = tea.pot.git.repo_clean_and_checkout(repo_name, "grading")
repo: Repo = tea.pot.git.get_repo(repo_name) repo: Repo = tea.pot.git.get_repo(repo_name)