If fetching the RSS from the feed fails, keep using the old, cached
authorrich <rich>
Fri, 8 Dec 2006 14:10:37 +0000 (14:10 +0000)
committerrich <rich>
Fri, 8 Dec 2006 14:10:37 +0000 (14:10 +0000)
commit662d8a1f4bd09b346816295104daeb9673b3b280
treea34c297d1fd7b94614c160d4101cb27a41572bfb
parentbee85709cad8433d0aa1c87f70405caa03b8aa2b
If fetching the RSS from the feed fails, keep using the old, cached
RSS (if it was in the cache).
scripts/lib/cocanwiki_func_rss.ml