Tobias Brunner 0a6fbe8f7e pool: Destroy enumerator before deleting existing pool ... The MySQL client doesn't like overlapping queries on the same connection, so we make sure to destroy the enumerator used to check for an existing pool before deleting it when --replace is used.		2017-11-08 16:40:14 +01:00
..
.gitignore	pool: Move the pool utility to its own directory in src	2013-10-11 15:16:05 +02:00
Makefile.am	libhydra: Remove empty unused library	2016-03-03 17:36:11 +01:00
mysql.sql	pool: Install SQL schemas from src/pool	2014-02-12 14:21:26 +01:00
pool.c	pool: Destroy enumerator before deleting existing pool	2017-11-08 16:40:14 +01:00
pool_attributes.c	pool: Move the pool utility to its own directory in src	2013-10-11 15:16:05 +02:00
pool_attributes.h	pool: Move the pool utility to its own directory in src	2013-10-11 15:16:05 +02:00
pool_usage.c	pool: Make pool timeout configurable in other units than hours	2017-11-02 10:04:03 +01:00
pool_usage.h	pool: Move the pool utility to its own directory in src	2013-10-11 15:16:05 +02:00
sqlite.sql	pool: Use correct name to remove index for CHILD_SA TS in SQLite script	2016-04-18 10:08:44 +02:00