aboutsummaryrefslogtreecommitdiff
path: root/examples/.gitignore
diff options
context:
space:
mode:
authorSimon Ser <contact@emersion.fr>2020-11-06 13:37:26 +0100
committerSimon Ser <contact@emersion.fr>2020-11-19 22:47:49 +0100
commit754179dacd4c8cbd06d6c646cda9c5e23edcb707 (patch)
treefbda442746eed9520c8556baed0cf7a7408bc87c /examples/.gitignore
parentc491a21d2560138817c43899d3cd58e9d28e7e89 (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