Stop and remove all containers in a warm Docker pool

Sends docker stop (graceful SIGTERM, the container's trap exits cleanly) then docker rm -f (idempotent belt-and-suspenders) for every container in the pool. Safe to call multiple times.

Usage

landis_pool_stop(pool, timeout_sec = 10)

Arguments

pool

A landis_pool object from landis_pool_start().

timeout_sec

Numeric. Graceful-stop timeout passed to docker stop. Default 10.

Value

The pool (invisibly), with stopped_at added.

Details

Typical use is via on.exit(landis_pool_stop(pool), add = TRUE) so the pool is cleaned up even when the calling DEoptim driver errors out.

See also

landis_pool_start(), landis_pool_exec()

Other LANDIS-II execution helpers: host_cpu_info(), landis_find(), landis_find_docker(), landis_pool_exec(), landis_pool_restart_one(), landis_pool_start(), landis_replicate(), landis_run_docker(), landis_run_local(), read_landis_resource_logs(), tar_landis(), write_landis_scenario_file()