File diff r10207:a1fc2f2a33db → r10208:ef8fcc3dc4ca
src/core/random_func.cpp
Show inline comments
 
@@ -34,13 +34,13 @@ void SetRandomSeed(uint32 seed)
 
	_interactive_random.SetSeed(seed * 0x1234567);
 
}
 

	
 
#ifdef RANDOM_DEBUG
 
#include "../network/network_data.h"
 
#include "../variables.h" /* _frame_counter */
 
#include "../player_func.h"
 
#include "../company_func.h"
 

	
 
uint32 DoRandom(int line, const char *file)
 
{
 
	if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) {
 
		printf("Random [%d/%d] %s:%d\n",_frame_counter, (byte)_current_company, file, line);
 
	}