Searched refs:safe_to_destroy_pool (Results 1 – 2 of 2) sorted by relevance
403 if safe_to_destroy_pool $pool; then2154 function safe_to_destroy_pool { # $1 the pool name function
567 if safe_to_destroy_pool $pool ;2591 function safe_to_destroy_pool { # $1 the pool name