htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

try to delete volume dir of any killed execution dcontainer on container deletion

Browse Source
This commit is contained in:
Jan Renz
2015-07-27 16:07:46 +02:00
parent 5c678ce703
commit 51fa137b9d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/docker_client.rb
View File

@ -89,7 +89,7 @@ class DockerClient
if local_workspace_path && Pathname.new(local_workspace_path).exist? if local_workspace_path && Pathname.new(local_workspace_path).exist?
Pathname.new(local_workspace_path).children.each{ |p| p.rmtree} Pathname.new(local_workspace_path).children.each{ |p| p.rmtree}
end end
container.delete(force: true) container.delete(force: true, v: true)
end end
def execute_arbitrary_command(command, &block) def execute_arbitrary_command(command, &block)