From 99738bd173040bf4e2d2d42ffc8c7ab8c105cf75 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Wed, 10 Apr 2013 23:45:25 +0200 Subject: [PATCH] Minor nit. --- main.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.cpp b/main.cpp index 79d9839..69f0e9b 100644 --- a/main.cpp +++ b/main.cpp @@ -302,6 +302,9 @@ int main(int argc, char **argv) inputs.push_back(input); } + // All deserialized inputs should now have been taken care of, one way or the other. + assert(deserialized_inputs.empty()); + if (is_reexec) { // Put back the existing clients. It doesn't matter which server we // allocate them to, so just do round-robin. However, we need to add @@ -311,9 +314,6 @@ int main(int argc, char **argv) } } - // All deserialized inputs should now have been taken care of, one way or the other. - assert(deserialized_inputs.empty()); - // Start writing statistics. if (stats_thread != NULL) { stats_thread->run(); -- 2.39.2