1.1 --- a/org/sonews/feed/PushFeeder.java Wed Jul 22 14:04:05 2009 +0200
1.2 +++ b/org/sonews/feed/PushFeeder.java Fri Aug 21 17:40:54 2009 +0200
1.3 @@ -51,14 +51,14 @@
1.4
1.5 Article article = this.articleQueue.poll();
1.6 String[] groups = article.getHeader(Headers.NEWSGROUPS)[0].split(",");
1.7 - Log.msg("PushFeed: " + article.getMessageID(), true);
1.8 + Log.get().info("PushFeed: " + article.getMessageID());
1.9 for(Subscription sub : this.subscriptions)
1.10 {
1.11 // Circle check
1.12 if(article.getHeader(Headers.PATH)[0].contains(sub.getHost()))
1.13 {
1.14 - Log.msg(article.getMessageID() + " skipped for host "
1.15 - + sub.getHost(), true);
1.16 + Log.get().info(article.getMessageID() + " skipped for host "
1.17 + + sub.getHost());
1.18 continue;
1.19 }
1.20
1.21 @@ -84,13 +84,13 @@
1.22 }
1.23 catch(IOException ex)
1.24 {
1.25 - Log.msg(ex, false);
1.26 + Log.get().warning(ex.toString());
1.27 }
1.28 }
1.29 }
1.30 catch(InterruptedException ex)
1.31 {
1.32 - Log.msg("PushFeeder interrupted: " + ex, true);
1.33 + Log.get().warning("PushFeeder interrupted: " + ex);
1.34 }
1.35 }
1.36 }