У меня возникли некоторые проблемы с получением Pipe.send для работы с этим кодом. В конечном итоге я хотел бы отправлять и получать сообщения от внешнего процесса, пока он выполняется в форке В конечном итоге это будет интегрировано в цикл pexpect для общения с процессами интерпретатора.
from multiprocessing import Process, Pipe
from pexpect import spawn
class CockProc(Process):
def start(self):
self.process = spawn('coqtop', ['-emacs-U'])
def run(self, conn):
while True:
if not conn.poll():
cmd = conn.recv()
self.process.send(cmd)
self.process.expect('\<\/prompt\>')
result = self.process.before + self.process.after + " "
conn.send(result)
q, p = Pipe()
proc = CockProc()
proc.start()
proc.run(p)
res = q.recv()
command = raw_input(res + " ")
q.send(command)
res = q.recv()
parent_conn.send('OHHAI')
p.join()
`