Luca Milanesio dca95d5bde Allow setting Jetty HTTPD socket timeout ... Make the Jetty HTTPD socket timeout (by default 30s) configurable so to tailor the socket and thread consumption to the needs of setups with different latencies and bandwidth. Change-Id: Idaf2a69e44b221f9d422afe56060a4300229c47c		2017-05-11 09:57:57 +09:00
..
src	Allow setting Jetty HTTPD socket timeout	2017-05-11 09:57:57 +09:00
BUCK	Schedule log file compression at 11:00pm	2016-08-18 02:45:45 +00:00
BUILD	Implement Bazel build	2016-06-14 21:12:02 +02:00