1: #line 292 "source_drivers.ipk" 2: # gets input from a URL 3: from interscript.drivers.sources.base import file_source 4: from interscript.drivers.sources.base import eof 5: import string 6: class url_source(file_source): 7: def __init__(self,filename,encoding='utf8',**kwds): 8: apply(file_source.__init__,(self,encoding), kwds) 9: self.name = filename 10: self.file = urllib.urlopen(filename) 11: self.closed = 0 12: 13: