Remove a bit of logging that is now unnecessary.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 22 Apr 2019 20:14:16 +0000 (16:14 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 22 Apr 2019 20:17:39 +0000 (16:17 -0400)
sst.py
test/test01.chk
test/test02.chk
test/test03.chk
test/test04.chk
test/test05.chk
test/test06.chk
test/test07.chk
test/test08.chk
test/test09.chk
test/test10.chk

diff --git a/sst.py b/sst.py
index cdc50ee938c3911508452cbe2130a58985cd4f2c..d99ba7aac8acf6e3898de16013c3663284648d1d 100755 (executable)
--- a/sst.py
+++ b/sst.py
@@ -6702,7 +6702,6 @@ if __name__ == '__main__':
                     line = replayfp.readline().strip()
                     (leader, __, seed) = line.split()
                     seed = eval(seed)
-                    sys.stderr.write("sst2k: seed set to %s\n" % seed)
                     line = replayfp.readline().strip()
                     arguments += line.split()[2:]
                     replay = True
index 7cdda72f65ae53e07098060dcd16727739ad5720..a9d502c50ca1e4ae78b46c26e6e1d743f477d44a 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1488214474
 
 
 -SUPER- STAR TREK
index 67d0d522e0c2b24faa2e4f5aa90ea141eac8dd13..593f133f095090fc130fb855ba8e1c17c3948506 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329775764
 
 
 -SUPER- STAR TREK
index ae645ca21c352467dc1f487b762be1c65bb5a0e3..e508427b297e29df8d4168d0b3f33ab0ea2faa69 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329869600
 
 
 -SUPER- STAR TREK
index f967d5c5d2ff1d26baac8d0960daa62fa7c36523..813fb550551cbdb1f53cf2e2d144236c322ac581 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329940672
 
 
 -SUPER- STAR TREK
index f3ed6cec00e3946dbeec530a15cb4a76dce85a21..45de09d023727b6177660917dc8b3175e5e44eba 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329941338
 
 
 -SUPER- STAR TREK
index 01979e700e6b122576fecf7e116aa143bde9ba92..750e9cc29c2c78f6f0dae81cc615558bd7a2e8cf 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329942980
 
 
 -SUPER- STAR TREK
index 74ef8d44f39b4684ac53ac90ede70ce5047ebfae..add249cdc735dd0ee59798fdc291984fe62a4c3d 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329943386
 
 
 -SUPER- STAR TREK
index 848e52ef9fb1543c77947f96b9d792c753577992..ed17fbb6be9c5fafc4f567218cba18c0529077bc 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1329979246
 
 
 -SUPER- STAR TREK
index ca0648a38a1a7d6a9882a12d4f5c34d6bbed882c..a80340f2c74eb3e0526102419ad04e3b4ce8a7b6 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1487996992
 
 
 -SUPER- STAR TREK
index 8f345cd10973d63eefde828e904464862cd024c6..6f889b2c1d1563771fe2270c880f7c9ffaa4fd85 100644 (file)
@@ -1,4 +1,3 @@
-sst2k: seed set to 1488349223
 
 
 -SUPER- STAR TREK