Tweak printing and make 0.4.dev-20120122 run faster

master
Perttu Ahola 2012-07-23 06:58:00 +03:00
parent 17b76556eb
commit cdff1a98f3
3 changed files with 4 additions and 4 deletions

View File

@ -165,6 +165,6 @@ done
echo ""
echo "Result summary:"
echo -e $result_summary
echo -e "$result_summary"
# EOF

View File

@ -48,11 +48,11 @@ index 893d03b..06cdaad 100644
+ t += dtime;
+ if(!message_triggered){
+ dstream<<DTIME<<"Worldtest server: Loaded all blocks."<<std::endl;
+ dstream<<DTIME<<"Worldtest server: Will exit after 10 seconds."
+ dstream<<DTIME<<"Worldtest server: Will exit after 5 seconds."
+ <<std::endl;
+ message_triggered = true;
+ }
+ if(t >= 10)
+ if(t >= 5)
+ m_shutdown_requested = true;
+ }
+ }

View File

@ -112,7 +112,7 @@ index bd5adf9..766ea06 100644
+
+ -- Wait until patched server has loaded world
+ worldtest.timer = worldtest.timer + dtime
+ if worldtest.timer < 5 then
+ if worldtest.timer < 3.5 then
+ return
+ end
+