import java.io.PushbackInputStream;
import java.net.URL;
import java.net.URLConnection;
-import java.net.UnknownHostException;
import java.util.ArrayList;
import java.util.HashSet;
/**
* @author jnegre - http://www.jnegre.org/
*
- * (c)Copyright 2002 Jérôme Nègre
+ * (c)Copyright 2002 J�r�me N�gre
*
*/
public class Channel {
}
this.readUids = null;
- } catch(UnknownHostException e) {
- // no connection to internet
} catch(Exception e) {
newErrorMessage = e.toString();
Plugin.logInfo("Error in channel update",e);