tame/bin
Mike Gerwitz db1c03dfd9 tame{,d}: Reload runner when unresponsive
This tries to be a bit more resilient in case a runner becomes unresponsive,
rather than waiting for tamed to kill itself.

* bin/tame (RUNNER_CMD_WAITTIME): New variable.
  (command-runner): Tell runner to reload if it does not respond in
    RUNNER_CMD_WAITTIME seconds.
  (verify-runner-ack): New function.
* bin/tamed (mkfifos): Only keep stdin open.  stdout isn't necessary, and
    may have actually been causing subtle issues.
  (spawn-runner): Support restarting dslc on SIGHUP.
2018-10-16 08:53:04 -04:00
..
dslc.in bin/: Server/client build scripts 2018-10-08 23:25:02 -04:00
tame tame{,d}: Reload runner when unresponsive 2018-10-16 08:53:04 -04:00
tamed tame{,d}: Reload runner when unresponsive 2018-10-16 08:53:04 -04:00