Add a midend function to return the current random seed, parallel to

the existing one that returns the game id. No front end has so far
needed this, but one is about to.

[originally from svn r9778]

1 files changed, 15 insertions, 0 deletions

diff --git a/midend.c b/midend.c
index 53dca21..fddf01d 100644
--- a/midend.c
+++ b/midend.c
@@ -1304,6 +1304,21 @@ char *midend_get_game_id(midend *me)
     return ret;
 }
 
+char *midend_get_random_seed(midend *me)
+{
+    char *parstr, *ret;
+
+    if (!me->seedstr)
+        return NULL;
+
+    parstr = me->ourgame->encode_params(me->curparams, TRUE);
+    assert(parstr);
+    ret = snewn(strlen(parstr) + strlen(me->seedstr) + 2, char);
+    sprintf(ret, "%s#%s", parstr, me->seedstr);
+    sfree(parstr);
+    return ret;
+}
+
 char *midend_set_config(midend *me, int which, config_item *cfg)
 {
     char *error;