comparison 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
comparison
equal deleted inserted replaced
78:a728bbc7171e 79:d11c3f71ac40
31 31
32 feedTable = Table("feed", metadata, 32 feedTable = Table("feed", metadata,
33 Column("pk", Integer, primary_key=True), 33 Column("pk", Integer, primary_key=True),
34 Column("title", String(255), nullable=False), 34 Column("title", String(255), nullable=False),
35 Column("rss_url", String(255), nullable=False), 35 Column("rss_url", String(255), nullable=False),
36 # update interval is specified in minutes
36 Column("update_interval", Integer, nullable=False), 37 Column("update_interval", Integer, nullable=False),
37 Column("next_update", DateTime, nullable=False), 38 Column("next_update", DateTime, nullable=False),
38 # when displaying an entry of this feed, do not display the summary but rather load 39 # when displaying an entry of this feed, do not display the summary but rather load
39 # the link directly 40 # the link directly
40 Column("auto_load_entry_link", Boolean, nullable=False), 41 Column("auto_load_entry_link", Boolean, nullable=False),