diff Mapping.py @ 79:d11c3f71ac40

Make update interval editable via the feed's settings dialog.
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Aug 2010 03:11:15 +0200
parents d292ab61ed6f
children 25fef7c29c5b
line wrap: on
line diff
--- a/Mapping.py	Sat Aug 14 02:54:01 2010 +0200
+++ b/Mapping.py	Sat Aug 14 03:11:15 2010 +0200
@@ -33,6 +33,7 @@
         Column("pk", Integer, primary_key=True),
         Column("title", String(255), nullable=False),
         Column("rss_url", String(255), nullable=False),
+        # update interval is specified in minutes
         Column("update_interval", Integer, nullable=False),
         Column("next_update", DateTime, nullable=False),
         # when displaying an entry of this feed, do not display the summary but rather load