-- read the feed's -- deze staan in RSSFEEDS.TXT -- als een csv bestand feednaam,feedURL,feedIndex -- include readf.e include RSS.E integer feedsin=open("RSSFEEDS.TXT","r") integer error sequence feeds={},feed if feedsin<3 then puts(2,"Error file RSSFEEDS.TXT niet gevonden\n") abort(1) end if -- laad de RSSfeed's uit RSSFEEDS.TXT feed = readf(feedsin,',') while sequence(feed) do feeds=append(feeds,feed) feed = readf(feedsin,',') end while close(feedsin) -- laad m.b.v. wget de RSS bestanden van de gewenste servers for i=1 to length(feeds) do for j=1 to length(feeds[i]) do puts(1,feeds[i][j]&'\n') end for puts(1,"Try loading : "&feeds[i][2]) system("wget -o "&feeds[i][-1]&".log -O "&feeds[i][-1]&".txt "&feeds[i][2],1) puts(1,'\n') end for -- analiseer XML -> text o.t.w. feedX.txt -> feedX.new for i=1 to length(feeds) do error=RSS(feeds[i][-1]) end for -- als er een feedX.rss bestaat dan bepaal welke feed nieuw en/of niet gelezen zijn . -- anders rename/move feedX.new -> feedX.rss for i=1 to length(feeds) do feedsin=open(feeds[i][-1]&".rss","r") if feedsin<0 then renamef(feeds[i][-1]&".new",feeds[i][-1]&".rss") else -- bepaal uit .new en .rss een nieuwe .rss puts(1,"maak nieuwe RSS voor : "&feeds[i][-1]&'\n') close(feedsin) maak_rss(feeds[i][-1]) end if end for