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 /LICENSE | |
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 'LICENSE')
0 files changed, 0 insertions, 0 deletions