Commit 3110cc07 authored by Julien Lepiller's avatar Julien Lepiller

Read more bytes from coqtop and wait less to improve performance

parent 6fb0fe73
......@@ -272,11 +272,11 @@ class CoqTop:
elt = None
while shouldWait:
try:
time.sleep(0.01)
time.sleep(0.001)
if self.interupted:
self.interupted = False
return None
data += os.read(fd, 0x4000)
data += os.read(fd, 0x400000)
try:
elt = ET.fromstring('<coqtoproot>' + escape(data) + '</coqtoproot>')
shouldWait = a.response_end(elt)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment