diff options
Diffstat (limited to 'misc/py-pyprind/files')
| -rw-r--r-- | misc/py-pyprind/files/patch-pyprind_prog__class.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/py-pyprind/files/patch-pyprind_prog__class.py b/misc/py-pyprind/files/patch-pyprind_prog__class.py new file mode 100644 index 000000000000..4f010b7fc9e9 --- /dev/null +++ b/misc/py-pyprind/files/patch-pyprind_prog__class.py @@ -0,0 +1,12 @@ +--- pyprind/prog_class.py.orig 2017-03-18 12:03:55 UTC ++++ pyprind/prog_class.py +@@ -91,6 +91,9 @@ class Prog(): + supported = ('PYCHARM_HOSTED' in os.environ or + os.isatty(sys.stdout.fileno())) + ++ except AttributeError: ++ supported = False ++ + # a fix for IPython notebook "IOStream has no fileno." + except(UnsupportedOperation): + supported = True |