diff options
author | Florian Pritz <bluewind@xinu.at> | 2015-09-20 14:58:33 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2015-09-20 15:19:49 +0200 |
commit | df0696a066e68ca020f9b12fbeff3a4d28341889 (patch) | |
tree | 4b590a521747190e21cc1a460a55051c7f046d0c /application/controllers/file.php | |
parent | 731dbac7d399928f4e1137031689796b0721c75e (diff) |
postgres: Fix CI's postgres version detection
This broke insert_id() because it expects a 'server' key in the
returned array yet no array is returned.
This should work just fine for postgres >7.4 now.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/controllers/file.php')
0 files changed, 0 insertions, 0 deletions