Skip to content
This repository has been archived by the owner on Nov 11, 2019. It is now read-only.

Add worker id #25

Merged
merged 7 commits into from
Mar 29, 2019
Merged

Add worker id #25

merged 7 commits into from
Mar 29, 2019

Conversation

zhengyao-lin
Copy link
Member

@zhengyao-lin zhengyao-lin commented Mar 28, 2019

Joint changes on the worker side to illinois-cs241/broadway-api#61
API side PR illinois-cs241/broadway-api#62

A complete reboot would be needed.

grader/utils.py Outdated Show resolved Hide resolved
@zhengyao-lin zhengyao-lin requested review from ayushr2 and removed request for ayushr2 March 28, 2019 15:32
@zhengyao-lin zhengyao-lin requested a review from ayushr2 March 28, 2019 15:45
run.py Outdated Show resolved Hide resolved
@ayushr2
Copy link
Contributor

ayushr2 commented Mar 29, 2019

Other than what is mentioned in the comments, this PR looks good!

@zhengyao-lin
Copy link
Member Author

Fixed.

@zhengyao-lin zhengyao-lin requested a review from ayushr2 March 29, 2019 23:01
run.py Outdated Show resolved Hide resolved
@ayushr2 ayushr2 self-requested a review March 29, 2019 23:28
Copy link
Contributor

@ayushr2 ayushr2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚢

@zhengyao-lin zhengyao-lin merged commit 7663c85 into master Mar 29, 2019
@zhengyao-lin zhengyao-lin deleted the worker-id branch March 29, 2019 23:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants