diff options
author | Rob Austein <sra@hactrn.net> | 2012-08-10 16:49:38 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2012-08-10 16:49:38 +0000 |
commit | ec1ea025ad1aa75ea565414dc946878b0d3c56e4 (patch) | |
tree | 1449ad82fa364fac415c24acd2521d6de3c3aba3 /rpkid/rpki/config.py | |
parent | 07d1098ee09b2743f11f2a66294f3288a6a5f2c2 (diff) |
Add seemingly-pointless .cursor() call, whose real purpose is to run
the underlying MySQLdb.Connection.ping() method before we start a new
operation. Not sure why this is necessary, I thought Django handled
that sort of thing automatically, but ORM support for long-lived
servers is a bit sketchy so maybe they missed this one.
svn path=/branches/tk274/; revision=4627
Diffstat (limited to 'rpkid/rpki/config.py')
0 files changed, 0 insertions, 0 deletions