diff options
| author | Dennis Kobert <dennis@kobert.dev> | 2020-01-12 20:36:45 +0100 |
|---|---|---|
| committer | Dennis Kobert <dennis@kobert.dev> | 2020-01-12 20:36:45 +0100 |
| commit | 70fa220f7a2b1b2275679547ac21768ab657cea2 (patch) | |
| tree | d5d618aaac9968a555e59f9bb5df148026de0160 /src/solvers/gpu/host.rs | |
| parent | e3b8e2dadec5009ec1c3de72a202583f65129993 (diff) | |
Add diagnostic script, prune result evaluation
Diffstat (limited to 'src/solvers/gpu/host.rs')
| -rw-r--r-- | src/solvers/gpu/host.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/solvers/gpu/host.rs b/src/solvers/gpu/host.rs index d67138e..4fe835a 100644 --- a/src/solvers/gpu/host.rs +++ b/src/solvers/gpu/host.rs @@ -68,7 +68,7 @@ impl Host { output_sender, }; let handle = std::thread::Builder::new() - .name("GPU Deamon".into()) + .name("GPU Host Deamon".into()) .spawn(move || { solver.run(); }) |