diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-07-18T10·52+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-07-18T10·52+0200 |
commit | a4921b8ceb5bde3fbd1ae25ea4b367199796eded (patch) | |
tree | a8dae58d3640478ca2bed87ed79d61c3711fdeb4 /doc/manual/opt-inst-syn.xml | |
parent | 16591eb3cccf86da8cd3f20c56e2dd847576ff5e (diff) |
Revert "build-remote.pl: Enforce timeouts locally"
This reverts commit 69b8f9980f39c14a59365a188b300a34d625a2cd. The timeout should be enforced remotely. Otherwise, if the garbage collector is running either locally or remotely, if will block the build or closure copying for some time. If the garbage collector takes too long, the build may time out, which is not what we want. Also, on heavily loaded systems, copying large paths to and from the remote machine can take a long time, also potentially resulting in a timeout.
Diffstat (limited to 'doc/manual/opt-inst-syn.xml')
0 files changed, 0 insertions, 0 deletions