{"shas":[["e591059358cd92eee644ad10e1120ecd2d48848b","50cc62d38ec7f9c59e76c9391aabf5777fb03fab@gmail.com","Set the number of workers to zero on WINCH.\n\nWe need to update the number of workers so they aren't restarted\nthe next time the arbiter wakes up and runs manage_workers. Also\nfixed a typo for the log statement.\n\nThanks to Randall Leeds for the report and patch.","Paul J. Davis"]],"ref":"refs/heads/master","push_id":20005817,"head":"e591059358cd92eee644ad10e1120ecd2d48848b","size":1}