diff options
author | Lars Wirzenius <liw@liw.fi> | 2022-10-23 10:26:40 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2022-10-23 10:26:40 +0300 |
commit | d3986532e39fd1c9148c1906efe35dfa9030436b (patch) | |
tree | 3cc103cd1c974157809ec42d4f227d769290afc4 | |
parent | 1f3f2167d9ac620b6136394955718a8b5431dc64 (diff) | |
download | obnam2-d3986532e39fd1c9148c1906efe35dfa9030436b.tar.gz |
chore: use push_back instead of deprecated push
Sponsored-by: author
-rw-r--r-- | src/engine.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/engine.rs b/src/engine.rs index 384f591..d35281b 100644 --- a/src/engine.rs +++ b/src/engine.rs @@ -76,7 +76,7 @@ async fn manage_workers<S, T, F>( // We got a work item. Launch background task to // work on it. let tx = tx.clone(); - workers.push(do_work(work, tx, func)); + workers.push_back(do_work(work, tx, func)); // If queue is full, wait for at least one // background task to finish. |