HomeIsabelle/Phabricator

proper treatment of timeout: <= 0 means already timed out, but for…

Description

proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;

Details

Provenance
makariusAuthored on
Parents
rISABELLE8009c4b5db5e: proper treatment of absolute deadline vs. relative timeout;
Branches
Unknown
Tags
Unknown