Andrea Luzzardi
|
f9a6c1bd89
|
integration: stop_docker: delete volumes as well.
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2015-03-06 17:20:26 -08:00 |
Andrea Luzzardi
|
9567185038
|
integration helpers: Fix concurrent calls to start_docker().
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2015-03-06 16:09:06 -08:00 |
Andrea Luzzardi
|
ac7fdeab6b
|
integration: Minor bash improvements in the helpers.
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2015-03-06 16:09:06 -08:00 |
Andrea Luzzardi
|
108f4ebe06
|
integration: Rename vars to helpers.
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2015-03-06 11:42:43 -08:00 |