issues
search
abingham
/
runner_repl
Cyber-dojo runner that manages REPLs for users.
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Doesn't seem to work with multiple users
#16
abingham
opened
6 years ago
0
Clean up repl-containers on shutdown
#15
abingham
opened
6 years ago
0
Add cyber-dojo network to docker-compose
#14
abingham
closed
6 years ago
1
Recover gracefully from websocket disconnections
#13
abingham
closed
6 years ago
2
Give feedback about compilation failure during REPL restart
#12
abingham
opened
6 years ago
1
Not properly saving files when REPL is restarted
#11
abingham
opened
6 years ago
1
REPL restart isn't always clean
#10
abingham
closed
6 years ago
1
Create docker image with requirements installed
#9
abingham
closed
6 years ago
0
Do we need to expose the runner_repl HTTP port?
#8
abingham
closed
6 years ago
1
Why are the websockets closing with status 1006?
#7
abingham
closed
6 years ago
5
Add some tests
#6
abingham
opened
6 years ago
0
Pass in some configurable values from the docker environment
#5
abingham
closed
6 years ago
1
Pay attention to message types on the websockets
#4
abingham
closed
6 years ago
1
"Inject" user's files into the REPL container
#3
abingham
closed
6 years ago
2
Handle case where a REPL already exists on creation request
#2
abingham
closed
6 years ago
1
Remove the sleep call after container creation
#1
abingham
closed
6 years ago
1