6e557559fe
Fix an error reproduced with python3.6.8, python3.5.2, python2.7.12:
$ echo "Hi!"| ./worker.py
Traceback (most recent call last):
File "./worker.py", line 6, in <module>
print("Processing " + sys.stdin.lines())
AttributeError: '_io.TextIOWrapper' object has no attribute 'lines'