diff options
| author | Simon Ser <contact@emersion.fr> | 2020-11-06 13:37:26 +0100 |
|---|---|---|
| committer | Simon Ser <contact@emersion.fr> | 2020-11-19 22:47:49 +0100 |
| commit | 754179dacd4c8cbd06d6c646cda9c5e23edcb707 (patch) | |
| tree | fbda442746eed9520c8556baed0cf7a7408bc87c /examples/.gitignore | |
| parent | c491a21d2560138817c43899d3cd58e9d28e7e89 (diff) | |
backend/session: add a timeout waiting for GPUs
If a GPU doesn't show up in 10s, bail out and return zero GPUs.
Diffstat (limited to 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions