equal
deleted
inserted
replaced
76 RSS_IS_ENABLED = 1 |
76 RSS_IS_ENABLED = 1 |
77 while RSS_IS_ENABLED: |
77 while RSS_IS_ENABLED: |
78 rss_query_channels() |
78 rss_query_channels() |
79 time.sleep(RSS_ITEM_DELAY) |
79 time.sleep(RSS_ITEM_DELAY) |
80 if len(UNSENT_HEADLINES): |
80 if len(UNSENT_HEADLINES): |
81 random.shuffle(UNSENT_HEADLINES) |
81 #random.shuffle(UNSENT_HEADLINES) |
82 (channel, item) = UNSENT_HEADLINES.pop() |
82 (channel, item) = UNSENT_HEADLINES.pop() |
83 rss_dispatch_headline(channel, item) |
83 rss_dispatch_headline(channel, item) |
84 |
84 |
85 def rss_end_loop(): |
85 def rss_end_loop(): |
86 RSS_IS_ENABLED = 0 |
86 RSS_IS_ENABLED = 0 |