diff options
author | Phil Sturgeon <email@philsturgeon.co.uk> | 2012-08-01 16:41:50 +0200 |
---|---|---|
committer | Phil Sturgeon <email@philsturgeon.co.uk> | 2012-08-01 16:41:50 +0200 |
commit | 6c94c2dcfb6557947c9ac67e419b2856fd80e01d (patch) | |
tree | a844b9aff5ecb42ce2c49ea4e187ef44cc4d39a8 /system/core/Benchmark.php | |
parent | 3a2d573a96241c01124d15c1ce517078e07c6235 (diff) | |
parent | 824085200b3362bfe1db1ecce52bf555dd064b57 (diff) |
Merge pull request #1601 from rwillert/patch-1
Reconnect to PostgreSQL database if connection dropped.
Diffstat (limited to 'system/core/Benchmark.php')
0 files changed, 0 insertions, 0 deletions