diff options
| author | João Barbosa <joao.paulo.barbosa@gmail.com> | 2018-02-12 11:17:36 +0000 |
|---|---|---|
| committer | João Barbosa <joao.paulo.barbosa@gmail.com> | 2018-02-12 11:18:22 +0000 |
| commit | 2e9406c0c588ddf6f039fd3ff73c978177483869 (patch) | |
| tree | ca8084f0ef61e3549c2b8a51981ff2d1a8492337 /src/random.cpp | |
| parent | 8e6f9f4ebc74f4e302e1e38ee21e1afd0d3823ce (diff) | |
Interrupt loading thread after shutdown request
Diffstat (limited to 'src/random.cpp')
0 files changed, 0 insertions, 0 deletions