Use /tmp for logs, as /usr/tmp is not available under Ubuntu.

diff --git a/src/sst.py b/src/sst.py
index c1785eee38962934c1ae1d4054bd2e0101dae32c..920fbd13b66c5d24165a92a3d415f69bb3a0315e 100644 (file)
--- a/src/sst.py
+++ b/src/sst.py
@@ -6200,9 +6200,10 @@ if __name__ == '__main__':
                 raise SystemExit, 1
         # where to save the input in case of bugs
         try:
                 raise SystemExit, 1
         # where to save the input in case of bugs
         try:

-            logfp = open("/usr/tmp/sst-input.log", "w")
+            logfp = open("/tmp/sst-input.log", "w")

         except IOError:
             sys.stderr.write("sst: warning, can't open logfile\n")
         except IOError:
             sys.stderr.write("sst: warning, can't open logfile\n")

+            sys.exit(1)

         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))