Minor nit.

diff --git a/main.cpp b/main.cpp
index 79d98394eed49c56dc37b5a7812b039250f60233..69f0e9b7cb686b19293a4aef184e6b54941584b7 100644 (file)
--- a/main.cpp
+++ b/main.cpp
@@ -302,6 +302,9 @@ int main(int argc, char **argv)
                inputs.push_back(input);
        }
        
                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
        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();
        // Start writing statistics.
        if (stats_thread != NULL) {
                stats_thread->run();