Touch up error handling.

lib/python/TAL/driver.py

@@ -111,7 +111,7 @@ def main():
     try:
         opts, args = getopt.getopt(sys.argv[1:], "hmnx")
     except getopt.error, msg:
-        sys.stderr.write("%s\n" % str(msg))
+        sys.stderr.write("\n%s\n" % str(msg))
         sys.stderr.write(
             "usage: driver.py [-h|-x] [-m] [-n] [file]\n")
         sys.stderr.write("-h/-x -- HTML/XML input (default auto)\n")

lib/python/TAL/runtest.py

@@ -143,6 +143,8 @@ def main():
                 driver.main()
             finally:
                 sys.stdout, sys.argv = save
+        except SystemExit:
+            raise
         except:
             errors = 1
             if quiet: