diff options
| author | David Aspinall | 2010-08-17 22:51:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 22:51:08 +0000 |
| commit | 3160b7ed3fd325c0ae3ea41dc9aeded97556a2ed (patch) | |
| tree | 8ab2a3a61e26641cd20e34dc92b90022db330c2c /pgshell | |
| parent | d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b (diff) | |
Re Trac #324:
proof-shell-wait: drastically reduce timeout, as some implementations
perhaps wait for full time even if process output is received.
Set process-adaptive-read-buffering to nil regardless of platform
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions