Scripting scheduler is now paused while pause menu is shown
authorChristoph Sommer <mail@christoph-sommer.de>
Mon, 16 Apr 2007 17:17:53 +0000 (17:17 +0000)
committerChristoph Sommer <mail@christoph-sommer.de>
Mon, 16 Apr 2007 17:17:53 +0000 (17:17 +0000)
commitdd793c93ac07637402de084f20c0e17d57fb069e
treebac041e53a9dc5046326cce57f77179e33e9bee4
parent4a308ce51f1300ad7c9c041272521f6df71036de
Scripting scheduler is now paused while pause menu is shown

SVN-Revision: 4985
src/game_session.cpp
src/scripting/time_scheduler.cpp
src/scripting/time_scheduler.hpp