Replay facility now captures command-line options.

diff --git a/src/sst.py b/src/sst.py
index eb440297d091e5b190d6dfa8d598b9c26c716c3f..d30cab27310b4eaf34a80e03da5617544232c3d5 100644 (file)
--- a/src/sst.py
+++ b/src/sst.py
@@ -6851,11 +6851,13 @@ if __name__ == '__main__':
             except IOError:
                sys.stderr.write("sst: can't open replay file %s\n" % val)
                raise SystemExit, 1
             except IOError:
                sys.stderr.write("sst: can't open replay file %s\n" % val)
                raise SystemExit, 1

-            line = replayfp.readline().strip()

             try:
             try:

+                line = replayfp.readline().strip()

                 (leader, key, seed) = line.split()
                 seed = eval(seed)
                 sys.stderr.write("sst2k: seed set to %s\n" % seed)
                 (leader, key, seed) = line.split()
                 seed = eval(seed)
                 sys.stderr.write("sst2k: seed set to %s\n" % seed)

+                line = replayfp.readline().strip()
+                arguments += line.split()[2:]

             except ValueError:
                sys.stderr.write("sst: replay file %s is ill-formed\n"% val)
                os.exit(1)
             except ValueError:
                sys.stderr.write("sst: replay file %s is ill-formed\n"% val)
                os.exit(1)


@@ -6876,6 +6878,7 @@ if __name__ == '__main__':
         sys.stderr.write("sst: warning, can't open logfile\n")
     if logfp:
        logfp.write("# seed %s\n" % seed)
         sys.stderr.write("sst: warning, can't open logfile\n")
     if logfp:
        logfp.write("# seed %s\n" % seed)

+       logfp.write("# options %s\n" % " ".join(arguments))

     random.seed(seed)
     iostart()
     if arguments:
     random.seed(seed)
     iostart()
     if arguments: