From 681b9d63711914c234722a4550bb2e845e62ad90 Mon Sep 17 00:00:00 2001 From: David Halter Date: Thu, 18 Jul 2013 12:35:18 +0200 Subject: [PATCH] small sith improvements --- sith.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/sith.py b/sith.py index 2912dd2c..0de7932f 100755 --- a/sith.py +++ b/sith.py @@ -27,7 +27,7 @@ Options: -h --help Show this screen. --record= Exceptions are recorded in here [default: record.json]. -f, --fs-cache By default, file system cache is off for reproducibility. - -m, --maxtries= Maximum of random tries [default: 100] + -n, --maxtries= Maximum of random tries [default: 100] -d, --debug Jedi print debugging when an error is raised. --pdb Launch pdb when error is raised. --ipdb Launch ipdb when error is raised. @@ -148,6 +148,7 @@ def main(arguments): break print('.', end='') sys.stdout.flush() + print() if __name__ == '__main__':