Have 'wait' instance of curl time out.

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Have 'wait' instance of curl time out. #14

Closed talsewell closed 5 years ago

talsewell commented 5 years ago

This sets a time limit for the 'curl' instance whose job it is to wait for some kind of message from regression-updates.cgi

This should prevent workers getting 'stuck' not noticing updates. After 5 minutes the curl instance will close by itself, and the worker will check the server anyway.