@@ -28,31 +28,22 @@ def write(self, x):
2828 self .f .flush ()
2929
3030
31- class Reader :
32- """
33- Disable buffering for input() as well.
34-
35- https://bugs.python.org/issue24402
36- """
37-
38- def __init__ (self , f ):
39- self .f = f
40-
41- def __getattr__ (self , name ):
42- return getattr (self .f , name )
43-
44- def fileno ():
45- raise OSError ()
46-
47- def read (self , size ):
48- return self .f .read (size )
49-
50-
5131sys .stderr = flushfile (sys .stderr )
52- sys .stdin = Reader (sys .stdin )
5332sys .stdout = flushfile (sys .stdout )
5433
5534
35+ def eprint (* args , ** kwargs ):
36+ """
37+ Print an error message to standard error, prefixing it with
38+ file name and line number from which method was called.
39+ """
40+ end = kwargs .get ("end" , "\n " )
41+ sep = kwargs .get ("sep" , " " )
42+ (filename , lineno ) = inspect .stack ()[1 ][1 :3 ]
43+ print ("{}:{}: " .format (filename , lineno ), end = "" )
44+ print (* args , end = end , file = sys .stderr , sep = sep )
45+
46+
5647def formatException (type , value , tb ):
5748 """
5849 Format traceback, darkening entries from global site-packages directories
0 commit comments