16.7.3. プールの変更/終了/フラッシュ

  • プールの 変更または flush() 
  • プールを終了するか、アンデプロイすると、 最初にフラッシュされます。