projects
/
super-star-trek.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix a bug and document some procedures.
[super-star-trek.git]
/
sst.py
diff --git
a/sst.py
b/sst.py
index 0b99af03b120071aa807c496700777e0bc7a693a..e1c447ef010f6bcb943fd7cf25f80f7f5c1efd49 100755
(executable)
--- a/
sst.py
+++ b/
sst.py
@@
-6400,6
+6400,7
@@
if __name__ == '__main__':
if logfp:
logfp.write("# seed %s\n" % seed)
logfp.write("# options %s\n" % " ".join(arguments))
if logfp:
logfp.write("# seed %s\n" % seed)
logfp.write("# options %s\n" % " ".join(arguments))
+ logfp.write("# SST2K version %s\n" % version)
logfp.write("# recorded by %s@%s on %s\n" % \
(getpass.getuser(),socket.gethostname(),time.ctime()))
random.seed(seed)
logfp.write("# recorded by %s@%s on %s\n" % \
(getpass.getuser(),socket.gethostname(),time.ctime()))
random.seed(seed)