And ... I found it. Of course, after I took the time to post here. Here's my answer:
https://bugs.python.org/issue512981
So I came up with this kludge:
That was ... well, I don't want to tell you how long I spent on that.
https://bugs.python.org/issue512981
So I came up with this kludge:
Code:
#!/usr/bin/python
import sys
saved_stdin = sys.stdin
sys.stdin = open('/dev/tty', 'r')
name= raw_input('What is your name?: ')
sys.stdout.write('Hello, ' + name + '.\n')
sys.stdin = saved_stdin
That was ... well, I don't want to tell you how long I spent on that.