diff options
| author | Auke Kok <sofar+github@foo-projects.org> | 2017-04-02 08:51:16 +0000 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-04-02 10:51:16 +0200 |
| commit | 75fb3e47308823cf39d4aae0fd739ca445e8e36c (patch) | |
| tree | a897010733e9dcf9f287c4e7a7e7ecca700dfab2 /lib/gmp | |
| parent | 26f4a5c2d1e3d825816188fcd63f6d1f6758ae60 (diff) | |
| download | minetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.tar.gz minetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.tar.bz2 minetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.zip | |
minetest.after(): simplify further, pause in singleplayer (#5500)
Using the `dtime` value entirely, this will stop the clock
if the game is paused in singleplayer. Since most of the
clocks were fixed a long time ago, this should again be
safe to use.
Diffstat (limited to 'lib/gmp')
0 files changed, 0 insertions, 0 deletions