fixed merge problem

This commit is contained in:
Evan Tschannen 2018-08-22 08:47:47 -07:00
parent 717c43a69f
commit a9987202d6
1 changed files with 1 additions and 1 deletions

View File

@ -1818,7 +1818,7 @@ ACTOR Future<Void> statusServer(FutureStream< StatusRequest> requests,
else else
requests_batch.back().reply.send(result.get()); requests_batch.back().reply.send(result.get());
requests_batch.pop_back(); requests_batch.pop_back();
Void _ = wait( yield() ); wait( yield() );
} }
} }
catch (Error &e) { catch (Error &e) {