From be6bb379bb9ead46794a289ff8a68c7f5a2ede89 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sat, 6 Apr 2013 08:08:15 +0000 Subject: [PATCH] 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] --- midend.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/midend.c b/midend.c index 2e8b7f6..41d562a 100644 --- a/midend.c +++ b/midend.c @@ -109,6 +109,9 @@ midend *midend_new(frontend *fe, const game *ourgame, me->nstates = me->statesize = me->statepos = 0; me->states = NULL; 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 * defining a variable along the lines of `NET_DEFAULT=25x25w'