diff options
Diffstat (limited to 'devel/phpsh/files/patch-src____init__.py')
| -rw-r--r-- | devel/phpsh/files/patch-src____init__.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/phpsh/files/patch-src____init__.py b/devel/phpsh/files/patch-src____init__.py deleted file mode 100644 index a74e5fdc561b..000000000000 --- a/devel/phpsh/files/patch-src____init__.py +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/__init__.py.orig 2014-07-08 19:24:25.000000000 +0800 -+++ ./src/__init__.py 2014-07-08 19:24:45.000000000 +0800 -@@ -758,7 +758,7 @@ - ret_code = self.p.poll() - if debug: - print "ret_code: " + str(ret_code) -- if ret_code != None: -+ if ret_code not in (None, 0): - if debug: - print "NOOOOO" - print "subprocess died with return code: " + repr(ret_code) |