diff options
Diffstat (limited to 'src/pluto/whack_attribute.h')
| -rw-r--r-- | src/pluto/whack_attribute.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/pluto/whack_attribute.h b/src/pluto/whack_attribute.h index b22648530..58441b973 100644 --- a/src/pluto/whack_attribute.h +++ b/src/pluto/whack_attribute.h @@ -101,4 +101,11 @@ void whack_attribute_finalize(); */ void list_leases(char *name, char *addr, char *id); +/** + * List either all pools or the pool with a given name + * + * @param name name of the pool, NULL for all pools + */ +void show_pools(const char *name); + #endif /** WHACK_ATTRIBUTE_H_ @}*/ |