1.1 --- a/lplc Tue Nov 29 00:47:19 2016 +0100
1.2 +++ b/lplc Tue Nov 29 16:03:18 2016 +0100
1.3 @@ -56,10 +56,7 @@
1.4
1.5 if not success:
1.6 show_missing(i.missing)
1.7 - if "-exit" in args:
1.8 - sys.exit(1)
1.9 - else:
1.10 - sys.exit(0)
1.11 + sys.exit(1)
1.12
1.13 d = deducer.Deducer(i, "_deduced")
1.14 d.to_output()
1.15 @@ -87,17 +84,9 @@
1.16 print exc
1.17 if "-tb" in args:
1.18 raise
1.19 - elif "-exit" in args:
1.20 - sys.exit(1)
1.21 -
1.22 - except KeyboardInterrupt:
1.23 - if "-exit" in args:
1.24 - sys.exit(2)
1.25 - else:
1.26 - raise
1.27 + sys.exit(1)
1.28
1.29 else:
1.30 - if "-exit" in args:
1.31 - sys.exit(0)
1.32 + sys.exit(0)
1.33
1.34 # vim: tabstop=4 expandtab shiftwidth=4