mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-21 20:44:24 +00:00
e7c2105c48
Plus a bunch of changes which were necessary for the script to work: * The "simulate lobby activity" plugin now exits when the server is shut down. * The plugin now uses wesnoth.random() for random number generation. Math.random() uses a fixed seed, which would make all the clients perform the exact same actions. * Exposed wesnoth.random() to plugins to allow the change above. * --nogui no longer implies --wconsole on Windows. With implied --wconsole the clients attached themselves to the standard output of the Python script, which made it impossible to see the output of the script itself.
This is a directory of miscellaneous developer tools for Battle for Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth servers. Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.