manager option: fix heartbeat period
bootstrap servlet : cache headers
PTPusher : fallback to HTTP polling on websocket open error