Documentation

InvalidDeleteNonEmptyPool.php

Table of Contents

Classes

InvalidDeleteNonEmptyPool

Non-empty pools cannot be deleted.