Diff of /pyke/special.py [9ac085] .. [0176eb]  Maximize  Restore

  Switch to side-by-side view

--- a/pyke/special.py
+++ b/pyke/special.py
@@ -63,7 +63,7 @@
         >>> gen.next()
         Traceback (most recent call last):
             ...
-        StopProof
+        pyke.rule_base.StopProof
         >>> mgr.__exit__(None, None, None)
         >>> cg.lookup(None, None, None)
         Traceback (most recent call last):
@@ -98,8 +98,11 @@
         ...         pattern.pattern_literal('/home/bruce'))
         (0, '/home/bruce\n', '')
     '''
-    stdin = None if stdin_pat is None \
-                 else stdin_pat.as_data(pat_context)
+    stdin = None
+    if stdin_pat is not None:
+        data = stdin_pat.as_data(pat_context)
+        if data is not None:
+            stdin = data.encode()
     process = subprocess.Popen(cmd_pat.as_data(pat_context),
                                bufsize=-1,
                                universal_newlines=True,

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks