soundmud / soundrts

A real-time strategy audio game
http://jlpo.free.fr/soundrts
Other
44 stars 32 forks source link

make the time the server waits before kicking someone from a multiplayer game configurable #87

Closed soundmud closed 6 years ago

soundmud commented 7 years ago

For example: the parameter would be in the config file, named auto_disconnect_delay_in_seconds with a default of 60 seconds.

soundmud commented 6 years ago

The best solution (make sure that the other players agree) is probably too tedious to be ready for alpha 11. I have created a separate issue for it: issue #92

thgcode commented 6 years ago

I have implemented on my fork of SoundRTS the solution described in this issue (configure the timeout in the soundrts.ini file). We'll need to think in a way to fix the other issue, because spawning menus inside the game itself locks the interface. In my pull request (which includes all the changes I have made) I fixed the tiping part of the bug, but I think that's not enough to fix it on the menus.

soundmud commented 6 years ago

Perfect, thanks! I have added issue #93 as a prerequisite of issue #92.

soundmud commented 6 years ago

This parameter will still be useful. Instead of being the automatic disconnect delay, it will be the delay before manual disconnection appears in the menus.