src/core/random_func.cpp
changeset 10208 72c00af5c95d
parent 10207 c291a21b304e
child 10255 2dc0a143e2da
equal deleted inserted replaced
10207:c291a21b304e 10208:72c00af5c95d
    35 }
    35 }
    36 
    36 
    37 #ifdef RANDOM_DEBUG
    37 #ifdef RANDOM_DEBUG
    38 #include "../network/network_data.h"
    38 #include "../network/network_data.h"
    39 #include "../variables.h" /* _frame_counter */
    39 #include "../variables.h" /* _frame_counter */
    40 #include "../player_func.h"
    40 #include "../company_func.h"
    41 
    41 
    42 uint32 DoRandom(int line, const char *file)
    42 uint32 DoRandom(int line, const char *file)
    43 {
    43 {
    44 	if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) {
    44 	if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) {
    45 		printf("Random [%d/%d] %s:%d\n",_frame_counter, (byte)_current_company, file, line);
    45 		printf("Random [%d/%d] %s:%d\n",_frame_counter, (byte)_current_company, file, line);