in SQLDeveloper/SQLDeveloperVersioner.py [0:0]
def readline(self):
if self.sechead:
try:
return self.sechead
finally:
self.sechead = None
else:
return self.fp.readline()