Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Environment created by graders should be kept and used #21

Closed
qcoumes opened this issue Feb 11, 2019 · 3 comments
Closed

Environment created by graders should be kept and used #21

qcoumes opened this issue Feb 11, 2019 · 3 comments

Comments

@qcoumes
Copy link
Contributor

qcoumes commented Feb 11, 2019 •
edited
Loading

Currently, the environment used to grade exercise is always [ENV_ID]_built.tgz.

The one created by the grader should be saved and used if available.

Related to this issue on PL
@nimdanor
Copy link
Member

Be carefull because the Activity will be able to change the pl before sending it back to playexo and the sandbox ...

I will draw the cycle of the pl through the different parts.

DB -> activity -> playexo -> sandbox -> builder -> X -> playexo -> sandbox -> grader -> activity -> restart the cycle from X.

qcoumes pushed a commit that referenced this issue Feb 11, 2019
#21 Grader now use most recent env
6a97d29
@qcoumes
Copy link
Contributor Author

qcoumes commented Feb 11, 2019

I created a specific issue for this: #22

@qcoumes qcoumes mentioned this issue Feb 11, 2019
Merged
@qcoumes
Copy link
Contributor Author

qcoumes commented Feb 24, 2019

Solved on 1.0.0

@qcoumes qcoumes closed this as completed Feb 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nimdanor @qcoumes