aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2010-07-16 02:46:17 +0000
committerRob Austein <sra@hactrn.net>2010-07-16 02:46:17 +0000
commit2c96a765e3d60f4811050d4a175843ad1b21f7ea (patch)
treea19cd1792c56ff0f2b92bec4ce11b63798d4a03c
parent5921890ef6d9aa9963943cd15d0a39de63c74f8b (diff)
Doh, .sql_mark_deleted() works better if it also marks record dirty.
svn path=/rpkid/rpki/sql.py; revision=3412
-rw-r--r--rpkid/rpki/sql.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/rpki/sql.py b/rpkid/rpki/sql.py
index f0082165..88ede288 100644
--- a/rpkid/rpki/sql.py
+++ b/rpkid/rpki/sql.py
@@ -267,6 +267,7 @@ class sql_persistent(object):
def sql_mark_deleted(self):
"""Mark this object as needing to be deleted in SQL."""
self.sql_deleted = True
+ self.sql_mark_dirty()
def sql_store(self):
"""