read a file from redirected stdin with python,result = sys.stdin.read()