Don't forget to NULL out the new game id notification callback, or

else it might start off accidentally initialised to nonsense in front
ends which don't use it.

[originally from svn r9817]
This commit is contained in:
Simon Tatham
2013-04-06 08:08:15 +00:00
parent ce604aa68d
commit be6bb379bb

View File

@ -109,6 +109,9 @@ midend *midend_new(frontend *fe, const game *ourgame,
me->nstates = me->statesize = me->statepos = 0; me->nstates = me->statesize = me->statepos = 0;
me->states = NULL; me->states = NULL;
me->params = ourgame->default_params(); me->params = ourgame->default_params();
me->game_id_change_notify_function = NULL;
me->game_id_change_notify_ctx = NULL;
/* /*
* Allow environment-based changing of the default settings by * Allow environment-based changing of the default settings by
* defining a variable along the lines of `NET_DEFAULT=25x25w' * defining a variable along the lines of `NET_DEFAULT=25x25w'