chiark / gitweb /
util: add timeout to generator execution