equal
deleted
inserted
replaced
39 uint32 s; |
39 uint32 s; |
40 uint32 t; |
40 uint32 t; |
41 |
41 |
42 #ifdef RANDOM_DEBUG |
42 #ifdef RANDOM_DEBUG |
43 if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) |
43 if (_networking && (DEREF_CLIENT(0)->status != STATUS_INACTIVE || !_network_server)) |
44 printf("Random [%d/%d] %s:%d\n",_frame_counter, _current_player, file, line); |
44 printf("Random [%d/%d] %s:%d\n",_frame_counter, (byte)_current_player, file, line); |
45 #endif |
45 #endif |
46 |
46 |
47 s = _random_seeds[0][0]; |
47 s = _random_seeds[0][0]; |
48 t = _random_seeds[0][1]; |
48 t = _random_seeds[0][1]; |
49 _random_seeds[0][0] = s + ROR(t ^ 0x1234567F, 7) + 1; |
49 _random_seeds[0][0] = s + ROR(t ^ 0x1234567F, 7) + 1; |