more direct way of checking whether the game is paused (check server type, if it's not dedicated check if paused, no more timer workarounds); counting sleeps in ticks now, since that was the granularity anyway and this isn't influenced by game pauses
1 file changed